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