Polymorphic pairs