[Haskell-cafe] a question concerning type constructors

[Stefan O'Rear]

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