C++ named requirements:CallableA Callable type is a type for which the INVOKE and INVOKE<R> operations