Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / SigTvKinds2.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module SigTvKinds2 where
4
5 data SameKind :: k -> k -> *
6
7 data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b)