File:Monad.P2.4A.State.Basic.20190329.pdf