From monoids to near-semirings
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers · 2015
It is well-known that monads are monoids in the category of endofunctors, and in fact so are applicative functors. Unfortunately, the benefits of this unified view are lost when the additional nondeterminism structure of MonadPlus or Alternative is required.