File:Monad.3.G.StateMethod.20180222.pdf