Re: [Haskell-cafe] a question concerning type constructors

I'm not sure what you want to accomplish, but if you like type hackery, this might be helpful: http://okmij.org/ftp/Haskell/types.html#polyvar-fn On 5/5/07, Eric wrote:

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.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe