File:Monad.P2.4A.State.Basic.20190425.pdf