Algebra.Lattice.Lifted
data
Lifted
a
retractLifted