Re: Heterogen lists

[andrea]

No, you don't need parameters there, you can leave them unspecified. HCons is 
just the existential type HCons[H, T] for some H and T