[Haskell-cafe] tuple and HList

John Meacham john at repetae.net
Sun Mar 20 03:32:19 EST 2005

This was brought up in passing in a recent conversation on haskell-cafe


It certainly seems like an interesting idea, Would type inference still
work okay? 

The other problem mentioned is that they are not quite isomorphic, since
HLists are equivalant to (a,(b,c)) rather than (a,b,c), but changing
HCons so that it is strict in its second argument makes them behave the
same I think..

John Meacham - ⑆repetae.net⑆john⑈ 

More information about the Haskell-Cafe mailing list