DIP54 : revamp of Phobos tuple types

[ilya-stromberg]

On Monday, 23 December 2013 at 12:25:55 UTC, Dicebot wrote:
> On Monday, 23 December 2013 at 12:03:05 UTC, ilya-stromberg 
> wrote:
>> Can we add alias for `auto-expansion TypeTuple` and add link 
>> to the previous documentation like this:
>>
>> alias ExpandedTemplateArgumentList(T) = 
>> TemplateArgumentList!(T).expand;
>>
>> It looks like it can fix all objections here.
>
> What is this supposed to give over just using .expand directly? 
> I have not seen a good rationale that justifies it among 
> existing objections, probably have missed it.

As I understand, the main objection is that people want to see 
additional `auto-expansion TypeTuple` type. This alias is simple 
enough to explain that `.expand` and 
`ExpandedTemplateArgumentList` means the same. But I agree that 
it's not so critical to have this alias.