Re: Heterogen lists

[trtt]

If I'd want to limit the 2nd parameter of cons to HConses I'd need to tell it 
what kind of HCons it should expect and that comes with a 3rd type parameter - 
this would clash with HNil. Maybe if we'd add variants to denote HNil...