From: Andrei Alexandrescu (andrewalex_at_[hidden])
Date: 2001-11-26 15:24:53
From: "Ross Smith" <r-smith_at_[hidden]>
> An instance of a typelist would be a tuple, surely? Once the two
> libraries are unified.
No. Sometimes you need the types but you don't need the values. Typelists
are distinct from tuples.
Andrei