path: root/testsuite/tests/polykinds/T7053.hs

{-# LANGUAGE PolyKinds, GADTs #-}

module T7053 where

data TypeRep (a :: k) where
   TyApp   :: TypeRep a -> TypeRep b -> TypeRep (a b)