Properly infer arguments