Cool, thanks, that made sense. > [lots of stuff snipped] What's the difference, then, between "duplicate instances" and "overlapping" instances? It seems that even with -fallow-overlapping-instances and even -fallow-undecidable-instances ghc still rejects the code I had.