You don't need ad-hoc polymorphism to implement polymorphic operators. Haskell does that with type classes that provide parametric polymorphism.