Data.TypeFun

Type-level functions in general

class TypeFun fun

type family App fun arg

Construction of type-level functions

data Id dom

data Const dom val

data fun :-> fun'

data FunMap trans fun

Utilities

data WrappedApp fun arg

unwrapApp

type Universal fun