path: root/testsuite/tests/typecheck/should_fail/T11724.hs

{-# LANGUAGE TypeInType #-}

module T11724 where

import GHC.Exts

data Foo (r :: RuntimeRep) (a :: TYPEvis r) = Foo a