. . . "our func is a function which have the first level arguments bound and the remaining arguments unbound;" .