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