Overlapping instance declarations