--- Tom Pledger [EMAIL PROTECTED] wrote:
anatoli writes:
:
| The same error message is given for
|
| data Foo a = (Eq b) = MkFoo b
Since the type variable a is orphaned, how about reducing it to this?
data Foo = forall b . Eq b = MkFoo b
This is possible (the semantics is
Hi everybody:
I think I've found what's the problem. Still no solution in sight :(
The problem has nothing to do with fundeps. Consider an example:
data Foo a = (Eq a) = MkFoo a
This gives the same error message: type variable a is not locally
bound. Apparently, 'a' in 'Eq a' hides 'a' in
