Hello J., Monday, November 17, 2008, 12:56:02 AM, you wrote:
>> class MyClass r where function :: r -> s > As Bulat said, your type signature is equivalent to: > function :: forall r s. r -> s only function :: forall s. r -> s (r is fixed in class header) -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe