static L<S> listWithoutIC(L<S> a, S... b) {
  Set set = litCISet(b);
  new L l;
  for (S s : a)
    if (!set.contains(s))
      l.add(s);
  ret l;
}