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