[Haskell-cafe] Re: Fractional/negative fixity?

On Wed, 08 Nov 2006, "Arie Peterson" wrote:

Specifying precedence 'lazily', by a partial order, does not suffer from this problem, because it only requires you to make local decisions.

Assuming we only want to be able to make local decisions. Let's say that we want == to bind less tightly than +, as it is now. Let's also say that Eq and Num are defined in two different _unrelated_ modules (this of course implies that Eq is not a superclass of Num). Where and how would we specify the relation between these two operators? -- /NAD