Why can't templates use tuples for for argument types?

[BCS]

|template Types(A...)
|{
|  template Values(A a)
|  {
|  }
|}
|
|alias Types!(int, bool, int[]).Values!(1,true,[1,2,3]) bob;