[Haskell-cafe] Dynamic types through unsafeCoerce

[Alfonso Acosta]

On 12/10/06, Taral <taralx at gmail.com> wrote:
> Sure it is. The type you gave (MyType Int Char -> MyType a b) can
> easily crash your program.

Ok I see. Why would that happen? I'm (maybe wrongly) taking as granted
that the compiler/interpreter uses the same internal representation
for both types. But that makes me think it shouldn't be that dangerous
if nothing is later assumed about the type parameters "a" and "b".