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