Re: [Haskell-cafe] Dynamic types through unsafeCoerce

On 12/10/06, Taral 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".