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
(especially the top of the file).
or, better
HList now supports both type-level folds and unfolds.

Haskell-Cafe mailing list

Reply via email to