Algebra.Lattice.Lifted

data Lifted a