File:Monad.4.A.IO.20180829.pdf