High-Order Function, as a structural transformation, the fold is a polymorphic function.
This just means, it takes on different forms (poly = multiple), and can take data from one element and transform it into another.
Specifically, this is speaking to the 'left fold'.