> Naive question: > Would it be "evil" or otherwise complicated to assume that (~) is > heterogeneous only in the _presence_ of kind constraint? Or only when > the kind can be inferred?
I'm afraid I don't understand. Do you mean that it's heterogeneous only when -XTypeInType is specified? That just might be possible, but I don't personally like it. Others might, though. Richard _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
