I see. Maybe there should be a separate function
efficientConstrEq :: Constr -> Constr -> Bool
so that people don't get confused with the standard Eq definition? How
often is the efficient version needed?
In any case, it seems like we should document the fact that the Constr
Eq instance doesn't
As of today, this is done so to be efficient.
You can easily compare the data types of the constructors to further
constrain equivalence, when this is necessary, while the base check only
compares an Integer value for the constructors.
Ralf
> -Original Message-
> From: [EMAIL PROTECTED]
>