This is why typeclasses/bounded parametric polymorphism are so important IMO.