In Haskell, when you define your own operators (including those that have the same name as those already defined in the standard library), you can specify your own types.

There's basically no operators defined 'by the language' in Haskell, they are all defined in the standard library.

(Of course, the standard library behaves as-if it defines eg (+) on integers in terms of some intrinsic introduced by the compiler.)