static F1 if1ToF1(IF1 f) { ret f == null ? null : func(A a) -> B { f.get(a) }; }