File:Monad.6.D.MonadState.20180918.pdf