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