static <A, B, C> IF1<B, C> curry1Like curry1(IF2<A, B, C> f, A a) {
  ret f == null ? null : b -> f.get(a, b);
}