How Monads are considered pure?
One way to think of this is that a value of type IO a is a “recipe”, containing a list of instructions that if performed would have side effects. Constructing that “recipe” though, does not have any side effects. So a haskell program (whose type is IO ()) is basically a computation that constructs such … Read more