File:Monad.3.E.StateEx.20171019.pdf