[Python-ideas] Void type

Hello, I'll give an example: def func(param="default"): ... def func_wrapper(..., param="default"): ... func(param) We have to duplicate value of parameter "default" if we want to use this as the default. Or we can do that: def func(param="default"): ... def func_wrapper(..., *args): ... func(*args) But it won't always be possible. In addition, auto-completion in IDEs won't work. It would be cool to have an empty type like Void (not None) for explicit full control: def func(param="default"): ... def func_wrapper(..., param=Void): ... func(param)