static F1 f1_nu(final Class c) { ret func(A a) -> B { nu(c, a) }; }