> The definitions of p and q differ only in the order of the components in
> the pair on their right-hand sides. And yet:
>
> ghc and "Typing Haskell in Haskell" reject p, but accept q;
> Hugs rejects q, but accepts p;
> hbc rejects both p and q;
> nhc98 ... (Malcolm, can you fill in the blank for us!).
nhc98 rejects p and accepts q
Regards,
Malcolm