Algebraic structure containing a map methods that obeys laws of identity and composition.
Proxy for algebraic structure containing a mapping method that obeys laws of identity and composition.
Proxy for algebraic structure containing a mapping method that obeys laws of identity and composition.
A FunctorProxy
instance wraps an object that in some way behaves as a Functor
.
Algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.
Algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.
Proxy for algebraic structure containing insertion and flat-mapping methods that obey laws of identity and associativity.
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 a Monad
.
Algebraic structure containing a map methods that obeys laws of identity and composition.