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