[Haskell-cafe] HList with DataKinds [Was: Diving into the records swamp (possible GSoC project)]

[oleg at okmij.org]

Aleksandar Dimitrov wrote:
> I've been kicking around the idea of re-implementing HList on the basis of the
> new DataKinds [1] extension.

The current HList already uses DataKinds (and GADTs), to the extent
possible with GHC 7.4 (GHC 7.6 supports the kind polymorphism better, but
it had a critical for me bug, fixed since then.) See, for example
        http://code.haskell.org/HList/Data/HList/HListPrelude.hs
(especially the top of the file).
or, better
        http://code.haskell.org/HList/Data/HList/HList.hs
HList now supports both type-level folds and unfolds.