type T[T1, T2: E1, *T3, **T4] = T5

def f[T6, T7: E2, *T8, **T9](): ...

class C[T10, T11: E3, *T12, **T13]: ...