It depends on what you're trying to express to the computer. Are you trying to say plus two integers -- if you are trying to say something specific about the t

It depends on what you're trying to express to the computer. Are you trying to say plus two integers -- if you are trying to say something specific about the types -- then you have to say types to be precise. But if all you're doing is saying I want "add" to have the same semantics as "+", regardless of types, then you are perfectly precise and you are done. This is a toy example, obviously, but this line of reasoning extends to real-world examples.