path: root/testsuite/tests/unlifted-datatypes/should_fail/UnlDataInvalidResKind1.hs

{-# LANGUAGE UnliftedDatatypes #-}

module UnlDataInvalidResKind1 where

import GHC.Exts
import GHC.Types

type T :: Type -> TYPE IntRep
data T a = MkT Int