Re: Heterogen lists

[andrea]

Great if that works for you! In any case, the constraint on types comes from 
the fact that the only way to construct an HCons is with the cons function 
(because the h and t fields are private) and the only two exported overloads 
only allow valid constructions