Re: Heterogen lists

[andrea]

If you want to prevent T to be anything other than HNil or HCons, just make the 
constructor private and expose two overloads of cons