The two-continuation style suggested there is familiar to me under the name "double barreled CPS", although usually in the context of compilation. Interesting t

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