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