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