Merely quoting Simon Peyton Jones and Philip Wadler in their paper from 1993 "Imperative Functional Programming" [1]. Chaining monadic binds with a `do` is the

Merely quoting Simon Peyton Jones and Philip Wadler in their paper from 1993 "Imperative Functional Programming" [1]. Chaining monadic binds with a `do` is the textbook example of imperative programming (it's actually the very reason why the keyword 'do' was chosen for syntactic sugar, because it captures perfectly the imperative aspect: "do this and in this order"). You seem to think it's a bad word but I really don't understand that. Haskell is both functional and imperative, there's really nothing wrong about it. [1] http://research.microsoft.com/en-us/um/people/simonpj/Papers/imperative.ps.Z http://research.microsoft.com/en-us/um/people/simonpj/Papers...