[Haskell-cafe] a question concerning type constructors

[Eric]

Hi all,

In Haskell, is it possible to declare a type constructor with a variable 
number of type variables e.g.

data Tuple * ....

allowing the following declarations:

t: Tuple
u: Tuple Bool
v: Tuple Bool Int
w: Tuple Bool Int Char

?

E.