File:Monad.P2.5A.Mutable.20190430.pdf