A 'side-effecting' monad is also pure ;): http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-side-effect/ http://chris-taylor.github.io/blog/2013/02/09/

A 'side-effecting' monad is also pure ;): http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-side-effect/ http://chris-taylor.github.io/blog/2013/02/09/io-is-not-a-si...