Idea: Classifications

[BCS]

Chris Nicholson-Sauls wrote:
> 
> With the same rules as Tuples: either types or data, not both.

?

Tuples can do mixed lists of whatever.

from: http://www.digitalmars.com/d/tuple.html

template Tuple(E...){ alias E Tuple; }
[...]
Tuple!(int, 8)	// create a tuple of a type and an expression


The implied restriction would be good for classifications, but I didn't 
think it apples to tuples.