Algebra.Lattice.Levitated
data
Levitated
a
retractLevitated