blob: 0ab71b1b76dbcb75294c20c1fc5f82e3c6d41c45 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# Language TypeInType #-}
{-# Language TypeOperators, DataKinds, PolyKinds, GADTs #-}
module T14555 where
import Data.Kind
import GHC.Types (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)
|
