This was brought up in passing in a recent conversation on haskell-cafe
http://www.haskell.org//pipermail/haskell-cafe/2005-March/009321.html
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
--
John Meacham - ⑆repetae.net⑆john⑈