It does dispatch on the types of all arguments, ... that's the point of it.

Some sample code (I modified it to be commutative on the argument types):

https://gist.github.com/arunbear/caef7546d297c01fddbd3f67117...