static <A, B> F1<A, B> f1_const(final B b) {
  ret new F1<A, B>() {
    B get(A a) { ret b; }
  };
}