Comment Comment by pjc50 It's "monad is just a monoid in the category of endofunctors": if you don't understand something, here is an explanation in terms of other things you understand even less. parent pjc50 5 years ago