File:Monad.3.G.StateEx.20180214.pdf