Week 15: A tutorial on the expressiveness and universality of fold | A geek with a hat