Just to preempt any misunderstanding, OP isn’t talking about @assume_effects, but about algebraic effects, effect handlers, etc, like in Koka and Effekt.
@assume_effects