Effective ATS:
List-folding Combinators