[Accepted with Modification] SE-0253 - Callable values of user-defined nominal types

[anandabits (Matthew Johnson)]

@Joe_Groff

Another interesting future direction would be to make something like Python’s **kwargs feature available to all functions, so that any function can declare it can take a variadic list of keyword: argument pairs. That would mean that dynamic-callable no longer has to be a separate feature; this new callable feature would be able to supersede it (aside from backward compatibility).

How would that be different from the labeled variadics I pitched a while ago?