func(T... a, int x){
}
and even more
func(int y, T... t, double x)
{
}
i think that makes template more complete in some sense.
restrictions can be considered(in order to make the match time reasonable)
:
only allow 1 tuple in argument:
func(T... t, int y, double x, A... a, int x, int j) // this would not be
allowed