Types in function calls are better used to infer arguments.