git.iko.soy/rel8
on ca7aaef help sign in
rel8/src/Rel8/FCF.hs
18 lines 311 B history raw
1{-# language DataKinds #-}
2{-# language PolyKinds #-}
3{-# language StandaloneKindSignatures #-}
4{-# language TypeFamilies #-}
6module Rel8.FCF ( Exp, Eval ) where
8-- base
9import Data.Kind ( Type )
10import Prelude ()
13type Exp :: Type -> Type
14type Exp e = e -> Type
17type Eval :: Exp e -> e
18type family Eval a