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://

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/caef7546d297c01fddbd3f671179bb70 https://gist.github.com/arunbear/caef7546d297c01fddbd3f67117...