> This whole issue regarding redefinition of + and - is getting confused
> unnecessarily. Both of these are in PreludeCore and cannot be renamed
> or hidden. Because of this their fixities cannot be changed. It is
> possible to locally shadow + and - but this cannot change their
> fixities and has no effect on + in n+k patterns.
Exactly! But what I find a bit strange is that even when + and -
are overridden locally n+k and prefix - still have their old meanings.
Well, it's just one more exception to the rule to remember about Haskell.
> Can't we find anything more interesting to discuss that the syntax??
Maybe.
-- Lennart
