
16 Nov
2008
16 Nov
'08
10:03 p.m.
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@gmail.com