backends are now able to infer the argument types.