I'm not sure. There is Union[Foo, Bar] which matches instances of Foo or Bar [0] and there is @overload [1]. What would it need to be complete? [0] https://doc

I'm not sure. There is Union[Foo, Bar] which matches instances of Foo or Bar [0] and there is @overload [1]. What would it need to be complete? [0] https://docs.python.org/3/library/typing.html#typing.Union https://docs.python.org/3/library/typing.html#typing.Union [1] https://mypy.readthedocs.io/en/latest/more_types.html#function-overloading https://mypy.readthedocs.io/en/latest/more_types.html#functi...