{-# LANGUAGE PolyKinds #-}

module T11724 where

import GHC.Exts

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