static <A, B> Pair<A, B> pairWithCalculatedField(IF1<A, B> f, A a) {
  ret pair(a, f.get(a));
}