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