[oisdk]

[The original paper which introduced Monads to Haskell](https://www.microsoft.com/en-us/research/wp-content/uploads/...) is a fantastic read, and extremely easy to understand. It explains clearly why monads are a good option, and what problem they're meant to solve in Haskell.

In the article itself, the line:

> As it happens the computation will need the value of b before that of a. If this is a problem, we can write the definition of root1 as

Is actually quite interesting: the problem being described there is almost identical to one of the problems that Haskell had with I/O, which motivated the introduction of monads.