[Haskell-cafe] referential transparency? (for fixity of local operators)

[Johannes Waldmann]

I was really surprised at the following:

*Main> 1 + 2 * 3
7

*Main> ( \ (+) (*) -> 1 + 2 * 3 ) (+) (*)
9

because I was somehow assuming that either

a) the Prelude fixities of the operators are kept
b) or they are undefined, so the parser rejects.

but the Haskell standard says "Any operator lacking a fixity declaration 
is assumed to be infixl 9". This really should be "infix 9"?