pub fn value<A1: ?Sized, A2: ?Sized, A3, Out>( f: fn(&mut A1, &A2, A3) -> Out, ) -> HkFn<fn(&mut A1, &A2, A3) -> Out>