Re: Heterogen lists

[andrea]

Yes, since the list is heterogeneous, the type changes according to the various 
parameters. It is very similar to a tuple - as explained in the blog post I 
linked - but it behaves like a list in certain respects and this helps in 
writing generic procedures that would otherwise require a macro