type family (ma :: monad a) >>= (f :: a ~> (monad b :: Type)) :: monad b
type family (f :: m (a ~> b)) <*> (ma :: m a) :: m b where ...
Tuple construction
List construction
Convert data types to Partially applicable type functions
Execute an action and map a pure function over the result.
type family (f :: a ~> b) <$> (ma :: m a) :: m b
Flip Type Functions
type family Flip__ (f :: a ~> (b ~> c)) (y :: b) (x :: a) :: c where ...
Type Function composition
type family Compose_ (f :: b ~> c) (g :: a ~> b) (x :: a) :: c where ...
Type-Level const
type family Const (a :: t) (b :: t') :: t where ...
Defunctionalization
type family Apply (f :: a ~> b) (x :: a) :: b