úÎ@A     Safe :CDOQRST ETurns 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 f9 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 vT represents the constant type-level function whose domain is represented by d, and whose result is v.A type Id dT represents the type-level identity function whose domain is represented by d. %Application of type-level functions. App^ takes a function representation and an argument and returns the corresponding result. /Type-level functions are represented by types. TypeFunA is the class of all type-level function representations. sThe domain of the type-level function as a subkind representation. Subkind handling is provided by the kinds package. The inverse of .       11     -type-functions-0.2.0.4-FfuJD70qb6M4WfD8yNO4r9 Data.TypeFun Universal WrappedAppWrapAppFunMap:->ConstIdAppTypeFunDomain unwrapApp$fTypeFunFunMap $fTypeFun:->$fTypeFunConst $fTypeFunId