Does D support nested Templates aka Higher Kinded Polymorphism?

[sighoya via Digitalmars-d-learn]

Especially, I mean something like

T<S> foo(S,T)(T<S> i)
{
    ...
}