>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.