A tutorial on the universality and expressiveness of ‘fold’