I understand the pitch. We can create a static function that’s invoked with the same syntax as a case like the example above.
I’m arguing that I’m not sure static function requirements are in practice written with such semantics, at least not often. Even the naming conventions surrounding associated value labels and function argument labels differ. Do you know of any static functions in the standard library that read like this case?