File:Monad.9.A.MonadState.Monad.20180920.pdf