[mercury-users] unification and polymorphism

[tom.howland at us.pwcglobal.com]

> I can understand the difference between (2) and (3): it is the cost of
> polymorphism, right ? A bit higher than I expected I must say.

I would have guessed polymorphism would be resolved at compile time.
----------------------------------------------------------------
The information transmitted is intended only for the person or entity to
which it is addressed and may contain confidential and/or privileged
material.  Any review, retransmission, dissemination or other use of, or
taking of any action in reliance upon, this information by persons or
entities other than the intended recipient is prohibited.   If you received
this in error, please contact the sender and delete the material from any
computer.