my 2p's worth...

[MR K P SCHUPKE]

Would it not be better to have control over exactly where these options apply,
could you not have:

{-# OPTIONS fallow-overlapping-instances=true #-}

... some code ...

{-# OPTIONS -fallow-overlapping-instances=false #-}

... more code ...

So you can ensure instances you don't want overlapping cannot?

	Regards,
	Keean.