== Motivation == Intuitively, partial function application says `if you fix the first arguments of the function, you get a function of the remaining arguments`. For example, if function div stands for the division operation x / y, then div with the parameter x fixed at 1 (i.e. div 1) is another function: the same as the function inv that returns.....