No Subject

[N K Anil]

Haskell 1.2 report on page 33 says that
>       If the two instance declarations read like this
>
>               instance Num a => Foo [a] where ...
>
>               instance (Eq a, Text a) => Bar [a] where ...
>
>       then the program would be illegal.

        I cannot find out the exact reason for this restriction. If 
        you allow this , then any pathological case can still be
        found out during type checking. I checked this in gofer
        and it works.

[EMAIL PROTECTED]