Algebra.Lattice.Lifted

data Lifted a

retractLifted