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