sbool all(O pred, Iterable l) {
  if (l != null) for (O o : l) if (!isTrue(callF(pred, o))) false;
  true;
}

static <A> bool all(Iterable<A> l, IF1<A, Bool> f) {
  if (l != null) for (A a : l) if (!f.get(a)) false;
  true;
}

static <A> bool lambdaMapLike all(IF1<A, Bool> f, Iterable<A> l) {
  ret all(l, f);
}

sbool all(int[] l, IIntPred f) {
  if (l != null) for (int i : l) if (!f.get(i)) false;
  true;
}