static int indexOfPred(L l, O pred) {
  for i over l:
    if (checkCondition(pred, l.get(i)))
      ret i;
  ret -1;
}

static <A, B> int indexOfPred(L<A> l, IF1<A, B> pred) {
  ret indexOfPred(l, (O) pred);
}