Monads are literally the simplest/smallest abstraction that makes all these examples compose nicely. It will be hard to come up with something clearer I think.

What is so unsatisfactory about them?