Related topic: Some improvements to function overloads (in particular last comment by @erictraut).
As the typing spec was added recently in this PR, I believe this could be standardized here? (by contributing directly to the python/typing repo).
This will probably require a lot of work, especially regarding breaking changes that could potentially be introduced in type checkers to comply with this future spec.