File:Monad.P2.2C.IO.IORef.20190614.pdf