; let ordinary_constraints
= [ mkClassPred cls [arg_ty]
| data_con <- tyConDataCons rep_tc,
; let ordinary_constraints
= [ mkClassPred cls [arg_ty]
| data_con <- tyConDataCons rep_tc,
not (isUnLiftedType arg_ty) ] -- No constraints for unlifted types?
tiresome_subst = zipTopTvSubst (tyConTyVars rep_tc) rep_tc_args
not (isUnLiftedType arg_ty) ] -- No constraints for unlifted types?
tiresome_subst = zipTopTvSubst (tyConTyVars rep_tc) rep_tc_args