About template template arguments syntax

[bearophile]

Philippe Sigaud:

> Because P is a template name, not a type. 'Bar' is not a type, it's a
> template: a blueprint for producing code. Symbols, can only be
> manipulated in D through aliases (though it's cool they can be
> manipulated at all!)

So the need to add "alias" there allows some static typing, to tell apart names or names and symbols.

Thank you,
bearophile