+MonadPlus: Success/Failure Monads

Short series on the abstractions and uses of the MonadPlus typeclass — objects whose monad instance represent success/failure.