Mainly first-class functions I think. If you have those, you can just use fold in the core combinators.