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"
