úÎ`•     FTurns a type-level function into the intersection of all its results. :A data type that is isomorphic to the type synonym family  . If t is a type of kind * -> *, and f is the representation of a  type-level function, FunMap t f represents the function \arg -> t (App f arg). A type f :-> f'$ represents the type-level function \arg -> (  f arg ->    f' arg). A type Const d v= represents the constant type-level function whose domain is  represented by d, and whose result is v. A type Id dI represents the type-level identity function whose domain is represented  by d. %Application of type-level functions. App1 takes a function representation and an argument . and returns the corresponding result. /Type-level functions are represented by types. TypeFun is the class of all type-level " function representations. WThe domain of the type-level function as a subkind representation. Subkind handling is  provided by the kinds package. The inverse of .            type-functions-0.2.0.3 Data.TypeFun Universal WrappedAppWrapAppFunMap:->ConstIdAppTypeFunDomain unwrapApp