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