Algebra.Lattice.Op
data
Op
a