Variadic type parameters

[ramonasuncion]

Variadic type parameters ([..T]) would let you write generics over heterogeneous argument lists, needed for things like Tuple and zip.

Proposed syntax:

record Tuple[..T] (...);

[..T] zip(a: Array[T], b: Array[T]);