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