static <A, B> bool eqAfter(IF1<A, B> f, A a, A b) {
  ret f == null ? eq(a, b) : eq(f.get(a), f.get(b));
}