Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T13988.hs
1 {-# LANGUAGE PolyKinds, GADTs #-}
2
3 module T13988 where
4
5 import Data.Kind
6
7 data Foo (a :: k) where
8 MkFoo :: (k ~ Type) => Foo (a :: k)