blob: 7f37a5ec9cbb74ee6e7072bcab951e8e1c9cd845 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# Language TypeOperators, DataKinds, PolyKinds, GADTs #-}
module T14555 where
import Data.Kind
import GHC.Types (TYPE, Type)
data Exp :: [TYPE rep] -> TYPE rep -> Type where
--data Exp (x :: [TYPE rep]) (y :: TYPE rep) where
--data Exp (x :: [TYPE rep]) y where
Lam :: Exp (a:xs) b -> Exp xs (a -> b)
|
