Comment by rs86

Can't the module system be used for ad hoc polymorphism?