​It might be a bit naive. Most things that incoherent instances would allow are allowed with overlapping instances so long as you partition your code into two modules. So unless such a partitioning is impossible, overlapping instances are almost as scary as incoherent instances (unless the module separation somehow makes it less scary).

And actually, with the way GHC handles instances, you can get more incoherent behavior than incoherent instances allow without enabling any extensions, just using modules:

    module A where

      class Foo a where foo :: a

    module B where

      import A

      instance F​

​oo Int where foo = 5

      bar :: Int ; bar = foo

    module C where

      import A

      instance Foo Int where foo = 6

      baz :: Int ; baz = foo

    module D where

      import B

      import C

      quux = bar + baz -- 11​

​ Dan​