path: root/testsuite/tests/rep-poly/T11724.hs

{-# LANGUAGE PolyKinds #-}

module T11724 where

import GHC.Exts

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