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