static <A> F0<A> f0_const(fA a) {
  ret func -> A { a };
}