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

oleg at okmij.org oleg at okmij.org
Sun Apr 28 09:51:35 CEST 2013

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.

More information about the Haskell-Cafe mailing list