File:Monad.P2.2A.IO.Basic.20190528.pdf