static <A> A firstThatNot(Iterable<A> l, IF1<A, Bool> pred) {
  fOr (A a : l)
    if (!pred.get(a))
      ret a;
  null;
}

static <A> A firstThatNot(A[] l, IF1<A, Bool> pred) {
  fOr (A a : l)
    if (!pred.get(a))
      ret a;
  null;
}

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

static <A> A lambdaMapLike firstThatNot(IF1<A, Bool> pred, A[] l) {
  ret firstThatNot(l, pred);
}