static <A> L<A> concatLists_conservative(L<A> a, L<A> b) {
  if (empty(a)) ret b;
  if (empty(b)) ret a;
  ret concatLists(a, b);
}