a little more experimentation leaves me confused. consider
[4]
class C a b c | a -> b -- , a -> c
instance C a b b => C [a] [b] [b]
Hugs:
:t undefined :: C [x] y z => (x,y,z)
undefined :: C [a] [b] c => (a,[b],c)
GHCi:
:t undefined :: C [x] y z => (x,y,z)
undefined :: C [x] y z
s Reinke" <[EMAIL PROTECTED]>
To: "Martin Sulzmann" <[EMAIL PROTECTED]>; "Mark P Jones" <[EMAIL PROTECTED]>
Cc: "Tom Schrijvers" <[EMAIL PROTECTED]>; "Haskell-cafe Café"
Sent: Thursday, April 17, 2008 2:57 PM
Subject: Re: [H