Sorry, I think my sentence: 

    "To define (+) as an overloaded operator in Haskell,
      you have to define and use a type class."

is not quite correct.  I meant that to define any operator in Haskell you have to
have a type class defined with that operator as member.