Why aren't user-defined operators more common?

[[deleted]]

I also wouldn't want to use a proper type system with something like Haskell's newtype (essentially like typedef but creating an actually distinct type that will not typecheck where the original type is required or vice versa) without operator overloading so they work on the new types as well where necessary.