A series of functions all passing the same `io: IO` value around exhibit exactly the behavior of the reader monad.