Extended lattice polymorphism