Self-referential tuples?

[Andrei Alexandrescu via Digitalmars-d]

On 6/9/15 4:43 PM, Idan Arye wrote:
>
> The `This*` here is not mapped to `Algebraic!(Tuple!(),Tuple!(T,This*))`
> - it's mapped to the closest containing tuple, `Tuple!(T,This*)`. This
> means that the tail is not a list - it's a head and a tail. The list is
> either empty or infinite.
>
> At any rate, I think this feature is useful enough even if it doesn't
> support such use cases. You can always declare a list as a regular
> struct...

Way ahead of you :o). Algebraic would use std.variant.This, whereas 
Tuple would use std.typecons.This. So you get to choose. -- Andrei