static int nfilter(Iterable c, O pred) {
  int n = 0;
  for (O o : c)
    if (isTrue(pred, o))
      ++n;
  ret n;
}

static int nfilter(O pred, Iterable c) {
  ret nfilter(c, pred);
}