It's also really helpful with defunctionalization; search "defunctionalize the continuation" for stuff on that