I think the reasoning is that for something that's commonly used for many different types, you won't go through the effort of re-implementing that function for

I think the reasoning is that for something that's commonly used for many different types, you won't go through the effort of re-implementing that function for each type (it may not even be feasible to do so). Which means you'll end up with some sort of indirection to make it generic.