Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / SigTvKinds3.hs
1 {-# LANGUAGE GADTs, ExplicitForAll, PolyKinds #-}
2
3 module SigTvKinds3 where
4
5 import Data.Kind
6
7 data SameKind :: k -> k -> Type
8 data Bad a where
9 MkBad :: forall k1 k2 (a :: k1) (b :: k2). Bad (SameKind a b)