One more random thought.

Am 16.04.2021 um 18:59 schrieb Jukka Lehtosalo:
  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