1 2 3 4 5 6 7 8
{-# LANGUAGE TypeInType #-} module Example where import Data.Typeable import GHC.Exts data Wat (a :: TYPE (SumRep '[LiftedRep, IntRep])) = Wat a