12 Dec
2006
12 Dec
'06
12:49 p.m.
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".
If the parameters aren't used, why not create a new data type without them?
They are used, but no monomorphic type is assumed.