Used to check whether a Kernel converter (either Cartesian_converter or Homogeneous_converter) provides the necessary functor T1 operator()(T2)