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