static IF0 f0ToIF0(F0 f) { ret f == null ?: () -> f!; }