Confluence of instance resolution means that there is only one instance for a particular set of parameters available, and that more importantly any way to derive an instance for a given type yields the same result. This is easily guaranteed by disallowing orphan instances.

Edward Kmett argues that confluence of Haskell type classes is an extremely important feature due to its categorical properties here.