File:Monad.P2.4C.State.Example.20190401.pdf