the monadplus class
Monads that also support choice and failure.
the associative operation
the identity of plus().
plus()
It should satisfy the following law, left zero (notice the bind operator is haskell’s >>= here):
>>=
zero >>= f = zero
MonadPlus
MonadPlus.plus()
MonadPlus.zero
The Monad Class
The Continuation Monad