1 2 3 4 5 6 7 8
{-# LANGUAGE PolyKinds, GADTs #-} module T7053 where -- no standalone kind signature data TypeRep (a :: k) where TyApp :: TypeRep a -> TypeRep b -> TypeRep (a b)