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