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