> Or it does, and you miss it. That's my point. Aside from my lack of amusement by Haskell's type system, I'm not making any moral or qualitative judgements on

> Or it does, and you miss it. That's my point. Aside from my lack of amusement by Haskell's type system, I'm not making any moral or qualitative judgements one way or another. I'm talking about programmers in general. The parent's question was why monads are difficult to convey. My argument is that, in the first place, the pattern monads are DRYing is not obvious to people, and might not even be recognized as a pattern in the first place.