1 2 3 4 5 6 7
{-# LANGUAGE DataKinds, PolyKinds, ExistentialQuantification #-} module T16221a where data SameKind :: k -> k -> * data T2 a = forall k (b :: k). MkT2 (SameKind a b) !Int