[Haskell-cafe] A possibly stupid doubt about the GHC's overlapping instances flag's

Hi! Suppose that the GHC's flag -fallow-incoherent-instances is enabled. In this situation, when a instance will be rejected? And if the flag -fallow-overlapping-instances is enabled. When a instance will be rejected? Thanks! Rodrigo