5 May
2007
5 May
'07
9:54 a.m.
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