Overloading

[ian]

Should the following be legal or not?

   data T a = F (a->a->Bool)
   x = F (==)

The compilers all produce an `ambiguous overloading' error, and I am not sure
why.  Everything is OK if you give a type declaration for x (x :: Eq a => T a)
or if you add an argument to x.

Ian                                [EMAIL PROTECTED],   Tel: 0272 303334