Comment by epgui

Monads are a discovery from category theory.