static <A> bool lambdaMapLike containsPred(IF1<A, Bool> pred, Iterable<A> l) {
  ret any(pred, l);
}

static <A> bool containsPred(Iterable<A> l, IF1<A, Bool> pred) {
  ret any(pred, l);
}