No. The ability to explicitly provide parameters is too useful to deny
users. It's a useful tool for dealing with cases that would otherwise
be ambiguous.

The fact that a function is a template is not an implementation
detail, nor are its template parameters *regardless* of their
deducibility.