Zaslat SMS: Continuation-passing style, defunctionalization, accumulations, and associativity