static bool isStringList(O o) {
  if (!o instanceof L) false;
  L l = cast o;
  for (O x : l) if (!x instanceof S) false;
  true;
}