Applies the given function to the value contained in this context, returning the result of the function, which is another value wrapped in the same context.
Applies the given function to the value contained in this context, returning the result of the function lifted into the same context.
Proxy for algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.
A
MonadProxy
instance wraps an object that in some way behaves as aMonad
.