static <A> IF0<A> if0_const(final A a) {
  ret () -> a;
}