[Haskell-cafe] Type question in instance of a class

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com