OK, I think I get you. But you still can't use (+) unless something's of class Num, which implies the existence of bits of interface you might not need.