Re: Does D support nested Templates aka Higher Kinded Polymorphism?

[sighoya via Digitalmars-d-learn]

But when I write this to:

writeln(bar!(Bar,Foo,int)(Bar!(Foo,int)));
it complains by:

test.d(11): Error: template instance T!(S!int) does not match 
template declaration Bar(R, S)
test.d(11): Error: template instance T!(S!int) does not match 
template declaration Bar(R, S)
test.d(17): Error: template instance test.bar!(Bar, Foo, int) 
error instantiating