File:Monad.6.C.State.Example.20180918.pdf