File:Monad.3.H.StateEx.20180301.pdf