[Haskell-cafe] Polymorphic algebraic type constructors

[MR K P SCHUPKE]

>If I have a polymorphic algebraic type (T a) with several type

data MyType a = A a | B String | C Int

So how do you expect to get the contents of B and C outm 
when they are differenf Types - surely you mean:

data MyType a = A a | B MyStrings


Keean.