[pcwalton]

And Haskell gave up rich control flow (break, continue, early return) by doing so. If you trace through what having those statements means for monads as a first-class concept, you find that the situation becomes very much not that simple.

[ngrilly]

I've never heard this argument before. Very interesting.