static F1 f_id_value;

static <A> F1<A> f_id() {
  if (f_id_value == null)
    f_id_value = func(A a) -> A { ret a; };
  ret f_id_value;
}