Clause Interweaving, allowing `def f[T](x: T)[U](y: U)`

Language Design
11

Perhaps we could allow identifiers to be part of the interleaving as well?

def a[T](x: T) b[U](y: U) c d[V](z: V): T | U | V

Call site:

a(1) b(2) c d(3)