I don't understand what this changes: now there are two definitions applicable to `+(Int, Int)`. Could you give an example?