> Look at mathematics: equality is polymorphic. Addition is just overloaded.
But as you know (and as I wrote in my previous messages), the
polymorphic equality in Caml is not at all the "equality in
mathematics" for many (or most?) datatypes.