sbool isStringCollection(O o) {
  if (!o instanceof Cl) false;
  Cl l = cast o;
  for (O x : l) if (!x instanceof S) false;
  true;
}