Definition

A monad is a monoid in the category of endofunctors #incomplete

References

  1. https://en.wikipedia.org/wiki/Monad_(category_theory)
  2. https://ncatlab.org/nlab/show/monad
  3. https://typelevel.org/cats/typeclasses/monad.html