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