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