Unless I completely misunderstood the post, a function that calls another function with effects will indeed be "infected". That is, unless the effect ends up be

Unless I completely misunderstood the post, a function that calls another function with effects will indeed be "infected". That is, unless the effect ends up being local (such as passing a mutable reference to a local variable).