; (tyvars, ty) <- tcHsPatSigType ctxt rn_ty
; let skol_tvs = tcSkolSigTyVars (SigSkol ctxt) tyvars
id_ty = substTyWith tyvars (mkTyVarTys skol_tvs) ty
; (tyvars, ty) <- tcHsPatSigType ctxt rn_ty
; let skol_tvs = tcSkolSigTyVars (SigSkol ctxt) tyvars
id_ty = substTyWith tyvars (mkTyVarTys skol_tvs) ty