File:Monad.9.B.MonadState.Class.20180920.pdf