Algebra.Lattice.Op

data Op a