File:Monad.3.B.SideEffect.20171123.pdf