Force specialization on varargs when the arguments are not all of the same concrete type

On a separate note, I have an analogous question about forcing specialization on keyword arguments: