On: Why GitHub used Haskell for Semantic

[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 → james_s_tayler]

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 → PaulAJ]

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

[mikojan → james_s_tayler]

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

[alexanderdmitri → mikojan]

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`?