The two-continuation style suggested there is familiar to me under the name &quot;double barreled CPS&quot;, although usually in the context of compilation. Interesting to see it suggested for user code.