[Haskell-cafe] a question concerning type constructors

[Joshua Ball]

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 <eeoam at ukfsn.org> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>