infer: experimenting with arguments