static <A, B> IF1<A, B> if1print(S prefix, IF1<A, B> f) {
  ret f == null ? null : a -> {
    B b = f.get(a);
    print(prefix + ": " + a + " => " + b);
    ret b;
  };
}