D's limited template specialization abilities compared to C++

[Ahuzhgairl]

By extension,

template Foo[X, Y, Z @ X[Y], Y[Z]] { alias Y Foo; }