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

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

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

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