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

Bulat Ziganshin bulat.ziganshin at gmail.com
Sun Nov 16 17:03:08 EST 2008

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


function :: forall s. r -> s

(r is fixed in class header)

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list