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"

Beginne mit den beiden in main.py gezeigten Reproduktionen und vergleiche dabei die direkt verwendete parametrisierte Callable mit dem entsprechenden Typalias. Prüfe das daraus resultierende Verhalten des Type-Checkers und die bestehende Diskussion; abgeschlossen ist die Aufgabe, wenn bestimmt wurde, ob beide Formen akzeptiert werden sollten, und die Abdeckung für das vereinbarte Verhalten hinzugefügt oder aktualisiert wurde.