Actually, I’m not OK with unsatisfied arguments. They are null at run-time. But, what about the business-logic ? Functional programming with a Lisp dialect does not encourage you to do that, I think. Anyway, one of my students solved a question with this dilemma, and I doubt that are we really allowing this in our technology or not. Thanks for the comments. 😇