sO makeAnd(O... l) {
  ret makeAnd(asList(l));
}

sO makeAnd(Cl l) {
  if (empty(l)) null;
  ret foldl_noSeed((a, b) -> And(a, b), l);
}