File:Monad.3.E.State.20180125.pdf