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