'
which dis-ambiguates this case.
OR
is this _really_ ambiguous.
I am not suggesting a change in the compiler to recognize
such specific cases (though I would not object :-);
but I want to be sure I understand what I have written.
thanks
Ed Komp
encountered the problem
this is not a viable alternative since it would generate
circular dependencies.
Thanks in advance for your help !
Ed Komp
[EMAIL PROTECTED]
-- ---
-- test.hs
: *
Inferred kind: k - k1
When checking kinds in `Rec1 E x'
In the type synonym declaration for `Expr'
and, more problems are anticipated for:
instance Functor E where
fmap = fmapE
Thanks in advance for all help,
Ed Komp
[EMAIL PROTECTED