> However, you are right in that replacing CPS with composition/list+fold > does also somewhat simplify the technique. The need for a terminator > ($) vanishes, which is a minor technical advantage. The terminator is still there: nil in the list case, and the <| defs in the composition case (or in the syntactic bracketing of the composition if the <| defs is pushed into the definition).