Template functions, can we make it more simple?

[SteveGuo]

>
> Question is "should we"? It creates syntax ambiguity (a and b 
> can be already existing types) and does not really improve 
> language.

Sorry for my pool English:p

I think compiler can detect the difference.
auto Add(a, b) {} // Compiler can detect "there is nothing in 
front of a and b, so a and b is template, not types defined in 
other modules"