AFAIK, the reason why we don't have this is because function overloading in combination with type deduction effectively does the same thing as a partial specialization of a function.