static <A> int indexOfMax(L<A> l, IF1<A, Comparable> f) {
  new Best_comparable<Int> best;
  for i over l:
    best.put(i, f.get(l.get(i)));
  ret or(best!, -1);
}