You Could Have Invented Monads! (And Maybe You Already Have.) A more permanent version of this article is stored at GitHub. Please link to that rather than to here. If you hadn't guessed, this is about monads as they appear in pure functional programming languages like Haskell. They are closely related to the monads of category theory, but are not exactly the same because Haskell doesn't enforce t