template<F(A,B)>