Algebra.Lattice.Ordered

data Ordered a