Algebra.Lattice.Dropped
data
Dropped
a
retractDropped