
16 Oct
2011
16 Oct
'11
10:01 a.m.
On 16 October 2011 10:06, Bas van Dijk
But is this a problem when both instances are exported from the same module and OverlappingInstances is only enabled in that module, as is the case here?
No - if the only instances defined are in the same module GHC would pick the most specific one. If there was no instance for Ivan's use-case of Vector Word8 in the "offical" module, and he chose to define this more specific instance elsewhere there is the potential for incoherence.