Does D support nested Templates aka Higher Kinded Polymorphism?

[sighoya]

Especially, I mean something like

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