GHC Handbook

Note [Specialisation and overlapping instances]

GHC/Core/Opt/Specialise.hs:539 compiler 

Here is at tricky case (see a comment in MR !8916):

    module A where
      class C a where
        meth :: a -> String
      instance {-# OVERLAPPABLE #

References 0

This Note does not link to any other.

Referenced by 1