On 16 October 2011 10:06, Bas van Dijk <v.dijk....@gmail.com> wrote: > 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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe