Re: [Haskell-cafe] Mapping over Type Level Literals

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 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