Transformer tutorials might be the new monad tutorial. A hard concept to get, but one you need to struggle with (and practice some examples) to understand. So a bit like much of computer science :-).
A hard concept?
But a monad is just a monoid in the category of endofunctors, so what's the problem?