static <A, B, C> IF2<A, B, C> toIF2(IF0<C> f) {
  ret f == null ?: (a, b) -> f!;
}