Re: Should (~) be homogeneous or heterogeneous?

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