Instance declaration overlap allowed if *either* has -XOverlappingInstances