Continuation passing style, defunctionalization and associativity [video]
youtube.com