The compiler just needs to verify that there's an extension type

Addable<Int>

and accept to compile, that's it