File:Monad.3.F.State.20180129.pdf