Examples of multi-method uses
Binary operations
- Arguments drawn from an abstract domain with several possible implementations
- equality over comparable types
- < etc. comparison over ordered types
- arithmetic over numbers
- set operations (union, intersection, etc.)