Thanks to everybody for the excitements!:-)

From: "William Lovas" <wlovas@stwing.upenn.edu>
> Many experts (and perhaps some novices *shrug*) think that polymorphic
> equality is a bad idea...

I'm almost tempted to agree.:-) As other responses have also
suggested, the issue seems to be "where to draw the line."  If so, I
can perhaps restate my question as: why is the line drawn between =
and + now?  Is it the best?

	Eijiro