static <A> L<A> combineLists(L<A> a, L<A> b) {
  if (empty(a)) ret b;
  if (empty(b)) ret a;
  if (!a instanceof CombinedList) a = combinedList_ll(a);
  a/CombinedList.addList(b);
  ret a;
}