Partially evaluate a function call.
This function allows N parameters to be given to a function taking
M parameters (N<=M), yielding a new function taking M-N parameters.
What is actually returned from this function is a function taking N
parameters, and returning a function taking M-N parameters.