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