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