Over the years there have been countless times when I had to convert an easy to understand recursive program into a messy state machine or a heap of callbacks,

Over the years there have been countless times when I had to convert an easy to understand recursive program into a messy state machine or a heap of callbacks, for one reason or the other. I always did these conversions in an ad-hoc fashion but this approach based on CPS + defunctionalization is definitely much clearer and easier on the brain!