File:Monad.3.C.IO.20170823.pdf