Disclaimer: I'm not a Haskell hipster and I personally think that people trying to advocate that language and FP in general do themselves a huge disservice by f

Disclaimer: I'm not a Haskell hipster and I personally think that people trying to advocate that language and FP in general do themselves a huge disservice by focusing so heavily on monads and other type calculus concepts in introductory contexts. 1. Monads are a means to create ordered evaluation in a system that does not guarantee it as part of its execution model. You wrap actions in other actions so that the act of unpeeling them results in computation occurring in a predictable order. (not grade-school, but I do think it's more understandable to a non-FP aficionado) 2. They don't. Things always happen in a predictable sequence in C/C++. 3. See 2.