blob: d5ae04690b88be86fbb8168e2dacce62542ed35e (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE PolyKinds, GADTs #-}
module T7053a where
import Data.Kind (Type)
-- This time with a fully-specified kind signature
data TypeRep (a :: k) :: Type where
TyApp :: TypeRep a -> TypeRep b -> TypeRep (a b)
|