Return a version of F which omits the first argument.
The function type to be modified. Must have at least one argument.
Return a version of F which omits the first argument.