A monad is just a monoid in the category of endofunctors.
Oh... you aren't fluent in the arcane language of Category Theory?
Hm...
I suppose an example will have to do.
Alright. Let's say we're programming a small class to manage an Inventory in a game. We want to add, remove, and display the items in the inventory.






