// auto-magic type parameter might be a bad idea. supply explicitly if
// in doubt.
static <A, B, C> IF2<A, B, C> if0ToIF2(IF0<C> f) {
  ret f == null ?: (a, b) -> f.get();
}