File:Monad.1.A.SideEffect.20180929.pdf