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