static <A> F1<A, Bool> f1_true() {
  ret f1_const(true);
}