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