-
Simon Peyton Jones authored
If we find ourselves making up an AnyTyCon of kind '??', say, then default it to liftedTypeKind. And similarly for any sub-kind of LiftedTypeKind. This is just a tidy-up.
6d0b77ef
If we find ourselves making up an AnyTyCon of kind '??', say, then default it to liftedTypeKind. And similarly for any sub-kind of LiftedTypeKind. This is just a tidy-up.