Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T11723.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2 module Example where
3
4 import Data.Typeable
5 import GHC.Exts
6
7 data Wat (a :: TYPE ('TupleRep '[])) = Wat a