[james_s_tayler]

>Similarly, the difficulty to explain Monad is Monad itself is pretty abstract and general.

A Monad is just a Monoid in the Category of Endofunctors.

[PaulAJ]

For the non-Haskell readers, I should point out that this is just an old joke in the Haskell community. If you want it explained, see here:https://stackoverflow.com/questions/3870088/a-monad-is-just-...

[james_s_tayler]

damn... I missed "what's the problem?" haha.

[mikojan]

This. What's so hard to understand about that?

[alexanderdmitri]

Would I be correct in saying you just encapsulated the monad state type `this` in an identity `that` by creating a monad transformer out of `understand`?