File:Monad.P1.1A.SideEffect.20190316.pdf