[red_admiral]

Isn't the java problem that (a) the + operator is only defined for some built-in types, and (b) the int/Integer boxing distinction?

[throwaway234232]

Right, you can't overload the + operator, and primitives can't be used in generics.