I should have written &quot;You can, but...&quot; in front of my comment above because you weren&#x27;t disagreeing with me. In my original comment I italicized &quot;must be variadic&quot; which was my original emphasis.<p>But if you eliminate variadicity and macros from a dynamically-typed, strictly evaluated language, you might as well add optional static typing so you can extend that implicit currying into monads, etc.