Univalent Polymorphism