> is it not possible in Haskell for two different libraries to introduce the same operator with different meanings, and still be used in the same program It is

> is it not possible in Haskell for two different libraries to introduce the same operator with different meanings, and still be used in the same program It is possible, of course, just like it's possible for two different libraries to have a function of the same name. But it's always possible to determine statically (by looking at the import list, etc.) which of the instances the usage refers to.