static L<S> replaceIC(L<S> l, S a, S b) {
  new L<S> l2;
  for i over l: {
    S s = l.get(i);
    l2.add(eqic(s, a) ? b : s);
  }
  ret l2;
}