static LS listMinusElementIC(S a, Iterable<S> l) {
  ret filter(l, x -> neqic(x, a));
}