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