path: root/testsuite/tests/unboxedsums/sum_rr.hs

{-# LANGUAGE DataKinds, PolyKinds #-}

module Example where

import Data.Typeable
import GHC.Exts

data Wat (a :: TYPE (SumRep '[BoxedRep Lifted, IntRep])) = Wat a