Hi Aleksandar, This library for extensible records does use -XDataKinds: <http://hackage.haskell.org/package/vinyl>. It doesn't have as many definitions as HList, but that might be because more recent extensions are more powerful. Many other libraries are listed <http://www.haskell.org/haskellwiki/Extensible_record#Libraries_on_hackage>. I don't know of a comparison between all of them.
-- Adam _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe