static bool eqicLists(L<S> a, L<S> b) {
  int n = l(a);
  if (n != l(b)) false;
  for i to n:
    if (!eqic(a.get(i), b.get(i))) false;
  true;
}