File:Monad.3.G.State.20180129.pdf