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

Reply via email to