[Python-ideas] Re: Accepting a function argument of a particular type specified by the user

I am aware of all those libraries that allows us to type check. But it would be nice to have this feature built-in. I'm not talking about modifying type annotation but introducing a new feature. Like, def add(int a, int b): return a + b If type is not provided then take in any parameter types. Like, def example(c): print(c)