發送短信: Continuation-passing style, defunctionalization, accumulations, and associativity