This view of effects as protocols with contexts as agents is not wholly new if you've used languages with effect types (Elm) or algebraic effects (Koka, Eff). Oleg's formulation is one flavor of various design choices. Initially I found his post (https://okmij.org/ftp/Computation/having-effect.html)