GHC Handbook

Note [Instance overlap and guards]

GHC/Core/InstEnv.hs:1368 compiler 

The first step is to find all instances that /match/ the constraint
we are trying to solve.  Next, using pruneOverlapped Matches, we eliminate
from that list of instances any instances that are overlapped.  For example:

(A)   instance                      C [a] where ...
(B)   instance {-# OVERLAPPING #

References 0

This Note does not link to any other.

Referenced by 10