One more random thought.
type A = list[int]
This could also be used for a more concise, more restricted, and semantically clearer protocol syntax:
type A:
foo: int
bar: (int) => Any
type B(A):
baz: str
- Sebastian