Function overloading
Looks like typing.overload was introduced sometime ago:

https://mypy.readthedocs.io/en/stable/more_types.html#function-overloading

The idea is to express type constraints that are complex to express via Union. We have things such as LEGAL_COMBINATIONS in py2many/inference.py. Perhaps this can come from typeshed some day.
