Overlapping, undecidable, incoherent -- or worse?

MR K P SCHUPKE k.schupke at imperial.ac.uk
Thu May 20 18:27:43 EDT 2004

>I wasn't talking about _any_ notion of ordering of instance heads;  I
>said that prioritising instance _declarations_ themselves, explicitly,
>by 'name' would suffice.

How does that help... if you name the instances differently are they
not just ordinary functions, as they would no longer be overloaded?


More information about the Glasgow-haskell-users mailing list