Parametrised Callable allowed only when used as type alias

I've found a case where a Callable is not allowed when used directly, but is allowed if used as an alias

from typing import TypeVar, Callable

T = TypeVar('T')

MkFoo = Callable[[T], list[T]]

def foo(mkfoo: MkFoo) -> None:
    _ = mkfoo(0)

works, but replacing MkFoo by its definition

def foo(mkfoo: Callable[[T], list[T]]) -> None:
    _ = mkfoo(0)

produces

main.py:13: error: Argument 1 has incompatible type "int"; expected "T"

Comienza con las dos reproducciones mostradas en main.py, comparando la Callable parametrizada utilizada directamente con el alias de tipo equivalente. Comprueba el comportamiento resultante del comprobador de tipos y la discusión existente; el trabajo estará terminado cuando se determine si ambas formas deberían aceptarse y se añada o actualice la cobertura para el comportamiento acordado.