A tutorial on the universality and expressiveness of fold (1999) [pdf] | Hacker News Reader