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