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