Union subtyping doesn't work with covariant type constructors Tuple and Callable

Both calls in this code fail, but I think they should be allowed:

from typing import Callable, Union, Tuple

def f(x: Union[Callable[..., int], Callable[..., str]]) -> None: ...
x: Callable[..., Union[int, str]]
f(x)

def g(y: Union[Tuple[int], Tuple[str]]) -> None: ...
y: Tuple[Union[int, str]]
g(y)

Moreover, I would say types in each pair are actually equivalent.

Empieza reproduciendo en mypy ambas llamadas que fallan del issue. El payload no indica ningún archivo fuente ni punto de entrada de prueba, por lo que localizar la lógica de subtipado de uniones y de constructores covariantes requerirá explorar la implementación del comprobador de tipos. Se considera terminado cuando ambas llamadas se aceptan con los tipos indicados sin debilitar comprobaciones de tipos no relacionadas.