[Haskell] How to avoid both duplicate instances and extraneous instance declarations?

[ihope]

On 4/22/06, Robin Bate Boerop <robin_bb at acm.org> wrote:
> This does not work.  The compiler gives the same error with or
> without "-fallow-overlapping-instances".

Just what is the error?