static <A> int lCommonPrefix_lists(L<A> a, L<A> b) {
  int i = 0, n = min(l(a), l(b));
  while (i < n && eq(a.get(i), b.get(i)))
    ++i;
  ret i;
}