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