path: root/testsuite/tests/typecheck/should_compile/T11723.hs

{-# LANGUAGE DataKinds, PolyKinds #-}
module Example where

import Data.Typeable
import GHC.Exts

data Wat (a :: TYPE ('TupleRep '[])) = Wat a