Algebra.Lattice.Ordered
data
Ordered
a