Ok then the section should be condensed to discuss the aspects in particular where D contributes to generic programming If Dmeranda is correct in that static if is a completely other take on generics then that point need to be discussed and exemplified and Im not certain if the factorial example is an adequate illustration of this since I failed to get that point Also the alias parameters seems to be of relevance and a discussion about these should be added Static derival of return types risks venturing into pure language comparisons since Cx will be equipped with a oftype forgot what it is to be named static operator and other languages have this facility too Thus in short the section should be condensed sharpened to drive the relevant points home and a better example should be found invented I am doing a bold edit to test your reaction since the D templates section is in all a commentary on the C templates section Im moving it to that section as a corollary It makes more sense like tat the way it is written atm Feel free to revert if you disapprove of this