Characteristic predicate DispatchImpl :: ArgumentPosition :: ArgumentPosition