TypeAlias with Generic ABCs

[suned]

type checking the follow program with mypy:

from oslash import List

IntList = List[int]

def f() -> IntList:
     return List.unit(0)

Yields error: Invalid type "StrList".