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