> One would imagine that if someone overrode the result of type, then > they'd *want* that to fail. Except that the code that uses "type" might be a third-party library that knows nothing about the new "type". --lhf