On Sat, May 05, 2007 at 02:26:45PM +0100, 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
No. (nor is it possible to be kind-polymorphic at all) Stefan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe