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