[Haskell-cafe] Dynamic types through unsafeCoerce

[Taral]

On 12/12/06, Alfonso Acosta <alfonso.acosta at gmail.com> 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 <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem