Re: [Haskell-cafe] Dynamic types through unsafeCoerce

On 12/12/06, Alfonso Acosta wrote:

So it would be great to be able to use unsafeCoerce.

It would be great -- but Typeable is the only way to get *safe* typecasts of this type. Otherwise, you may as well run without a typechecker. -- Taral "You can't prove anything." -- Gödel's Incompetence Theorem