MonadPlus is a typeclass that extends a Monad by supporting choice and failure.
It is equal to Alternative in its api, but provides additional laws for how
|plusM||Associative operation to combine two structures. MonadPlus variant of orElse.
|MonadLogic||MonadLogic is a typeclass that extends a MonadPlus. It provides functions to control when computations should be performed.
Do you like Arrow?✖