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