title: "Modern" HList?
body: <p>The <a href="http://hackage.haskell.org/package/HList-0.2.3">HList package</a> was based on what is by now <em>ancient</em> Haskell technology.  The simple question is: given all the wonderful new features of the last 8 years' worth of Haskell/GHC development, would a "modern" HList be built very differently?  I realize that the answer here might well be <strong>no</strong>, that for the particular case of HList, the technology used then still produces the most elegant solution.</p>
  
  <p>I have read many of the items documented on the <a href="http://www.haskell.org/haskellwiki/Extensible_record">extensible records</a> page, the only real competitor (i.e. one which is implemented as a library available on hackage) is the <a href="http://hackage.haskell.org/package/records">records package</a>.  Or are there missing links from <a href="http://www.haskell.org/haskellwiki/Extensible_record">extensible records</a>?</p>