Template functions, can we make it more simple?

[SteveGuo]

>
> Wrong. Specifying only types was perfectly legal in C and 
> remains so in D. It would have been a major breaking change.

auto Add(a, b) {}

Is it feasible? "Specifying only types was perfectly legal in C 
and emains so in D"

Why don't we change our thinking way? Why we couldn't eliminate 
"PARAMTYPE _only_", make
"auto Add(a, b) {} " works?