ghc-exactprint-0.5.1.0: tests/examples/ghc8/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)