[Haskell-cafe] Polymorphic algebraic type constructors

MR K P SCHUPKE k.schupke at imperial.ac.uk
Tue Jun 22 07:03:30 EDT 2004

>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


More information about the Haskell-Cafe mailing list