[AlanYx]

>What could be simpler than that?

At risk of being tongue-in-cheek, a monad is just a monoid in the category of endofunctors, what's the problem?