Algebra.Lattice.Dropped

data Dropped a