Algebra.Lattice.Lexicographic

data Lexicographic k v