Algebra.Lattice.Lexicographic
data
Lexicographic
k v