testsuite/tests/polykinds/T7053a.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE PolyKinds, GADTs #-}

module T7053a where

-- This time with a fully-specified kind signature
data TypeRep (a :: k) :: * where
   TyApp   :: TypeRep a -> TypeRep b -> TypeRep (a b)