• simonpj@microsoft.com's avatar
    Tidy up AnyTyCon stuff · 6d0b77ef
    simonpj@microsoft.com 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
TysPrim.lhs 18.6 KB