[m-rev.] for review: Require same order for existential type vars in subtype as in supertype.

[Peter Wang]

On Fri, 05 Jul 2024 14:16:43 +1000 Peter Wang <novalazy at gmail.com> wrote:
> 
> This change tightens subtype definitions, requiring that the
> existentially quantified type variables for a subtype constructor be
> listed in the same order as in the supertype constructor definition
> (note: the type variable _names_ still do not matter).
> This should not be a breaking change in practice.

Ignore this for now. We need to ensure the same order of
type_class_infos as well :(

Peter