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