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