Can you elaborate further, with an example, how this is different from static polymorphism? I don't fully understand your argument where you say "it will dispat

Can you elaborate further, with an example, how this is different from static polymorphism? I don't fully understand your argument where you say "it will dispatch to the method optimized for that" and then "you don't have to write a separate copy of your function for each new datatype". The two do not seem consistent with each other.