testsuite/tests/polykinds/T7053a.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds, GADTs, StandaloneKindSignatures #-}

module T7053a where

import Data.Kind (Type)

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