(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