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

sO makeAnd(Cl l) {
  ret foldr_noSeed((a, b) -> And(a, b), l);
}