In terms of unreasonable effectiveness, the transformation to continuation-passing style (CPS) ranks with the Y combinator. During compilation, high-level control constructs ranging from coroutines and exceptions to while loops and break statements steadily desugar into a mixture of two constructs: calls to functions and calls to continuations. Then, during CPS transformation, continuations desuga