static <A> L<A> dropElement(Collection<A> c, final A element) {
  ret [A a : unnull(c) | neq(a, element)];
}