static <A> A lastThat(L<A> l, O pred) {
  for (int i = l(l)-1; i >= 0; i--) {
    A a = l.get(i);
    if (checkCondition(pred, a))
      ret a;
  }
  null;
}

static <A> A mapLike lastThat(O pred, L<A> l) {
  ret lastThat(l, pred);
}