Jón Fairbairn writes:
> > So why is (^2*3) not equvalent to \a->a^2*3 ?
>
> Because it's being parsed as (^(2*3)) when it should be
> rejected.
Interestingly enough, all of Hugs, nhc98, and hbc make the same
mistake. Only ghc rejects the expression, correctly complaining that
the fixities do not match.
Regards,
Malcolm