ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/SigTvKinds2.hs
{-# LANGUAGE PolyKinds #-}
module SigTvKinds2 where
data SameKind :: k -> k -> *
data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b)
{-# LANGUAGE PolyKinds #-}
module SigTvKinds2 where
data SameKind :: k -> k -> *
data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b)