On Dec 15, 2004, at 8:30 AM, Simon Peyton-Jones wrote:
OK, I understand this.
1. You really do have overlapping instances, exactly as reported in
the error message.
2. The instance in Data.Graph.Inductive.Graph looks like this
instance ... = Eq (gr a b)
This is, as you say, crazy,
OK, I understand this.
1. You really do have overlapping instances, exactly as reported in the error
message.
2. The instance in Data.Graph.Inductive.Graph looks like this
instance ... = Eq (gr a b)
This is, as you say, crazy, because it overlaps with every arity-2 type
