Nicely written, Severin. I think the discussion of partial function application could benefit from an example that shows creating a partial function that supplies *some* of the arguments to a function, and then gets the remaining arguments when the partial function is called. That’s where PFA really shines.