Maybe - do I need to write my own type level lists to use it? E.g.

> data HList (xs :: [*]) where
>     Nil   ::                  HList '[]
>     (:+:) :: x -> HList xs -> HList (x ': xs)

Dominic Steinitz
dominic@steinitz.org
http://idontgetoutmuch.wordpress.com

On 12 Sep 2014, at 16:13, Marcin Mrotek <marcin.jan.mrotek@gmail.com> wrote:

> (sorry, I think I wrote this to Dominic only originally)
>
> You mean something like this:
> http://hub.darcs.net/mjm/type-list/browse/src/Data/Type/List.hs ? I'll
> push this library to Hackage in a moment.
>
> Regards,
> Marcin

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe