Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / mkGADTVars.hs
1 {-# LANGUAGE GADTs, PolyKinds #-}
2
3 module GADTVars where
4
5 import Data.Kind
6 import Data.Proxy
7
8 data T (k1 :: *) (k2 :: *) (a :: k2) (b :: k2) where
9 MkT :: T x1 * (Proxy (y :: x1), z) z