DIP54 : revamp of Phobos tuple types

[Timon Gehr]

On 12/30/2013 04:44 AM, Andrei Alexandrescu wrote:
>
> I don't understand the question. I think there's no particular relation
> between TemplateArgument{List,Pack}!(int, double) and
> TemplateArgument{List,Pack}!(1, 2.0). One is a list of two types and the
> other is a list of two values, and yah, if you map typeof over the
> arguments in the latter it so happens you get the types in the first.
>
> Template arguments lists are what they are - entities that can be passed
> to templates. Aliasing them is sensible but creating values thereof does
> not make sense.

You are doing it in the implementation of std.typecons.Tuple, and on 
every variadic function template call. How does it not make sense?