This is inconsistent with how empty disjunctions work in logic, but who cares. We need this feature and there is no way of doing it yet. That syntax would be very concise.

Are there better ideas, such as passing no arguments (=making the first param optional)? Maybe both?