File:Monad.6.B.State.Method.20181026.pdf