- tcHsType hs_ty `thenTc` \ sig_ty ->
- tcInstSigType sig_ty `thenNF_Tc` \ sig_tc_ty ->
- tcPolyExpr (HsVar nm) sig_tc_ty `thenTc` \ (rhs, lie, _, _, _) ->
+ tcHsType hs_ty `thenTc` \ sig_ty ->
+ let sig_tc_ty = typeToTcType sig_ty in
+ tcPolyExpr (HsVar nm) sig_tc_ty `thenTc` \ (rhs, lie, _, _, _) ->