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