...that are all solved by the local alias approach).

This is my biggest objection to...

...template FunctionTypeOf(alias func)
if (isCallable!func)
{
    alias FunctionTypeOf = typeof(foo);
}

template ReturnType(alias func...

...template t6(alias p) { }
    testTemplate!t6([TemplateParameter(TemplateParameterType.aliasType, "p", "")]);

    template t7(alias p = 12...

...alias aliases(a...) = a;

alias Components = Dependencies!();

template Dependencies()
{
    alias Dependencies = aliases!(Top.DirectDependencies);
    // alias...

...com

alias aliases(a...) = a;

alias Components = Dependencies!Top;

template Dependencies(alias Component)
{
    alias Dependencies...

...template a(alias A) {}` always returning A not that interesting, but if the alias name...

...bu var in Turkish) :
```d
struct Str
{
  alias ToString this;
  size_t s;
  string ToString...

...short n) { this.n = n; }
}

void print(alias T)()
{
    import std.stdio : writeln;
  ...

...char)[])(T x) { }
template constraintsOf(alias templ) { /*Magic here*/ }
alias constraints = constraintsOf!f; // tuple(long...

...need this to avoid the instantiation syntax
alias Algo = Algo_ns!();
```

The benefit here is...