Variadic Template args

So I don't really see the need for tuples as a language feature. SUS already has multi-output interfaces, which is a prime motivation for languages to include tuples.

However, for template arguments tuples are really handy. Could we instead provide variadic template types, such that we can pass multiple args together as one "template arg"?

The prime example is the FIFO, again.

myFIFO f
int x, double d, Vec3 v
f.push(x, d, v)

int y, double dd, Vec3 outV = f.pop()

The issue proposes variadic template types for passing multiple values together, using a FIFO as the example. No files, tests, or entry points are identified; first locate template argument handling and the FIFO implementation, then establish the intended semantics and tests for the feature.