[Haskell-cafe] HList and Type signatures / synonyms

Hi, I keep accumulating values and right now use plain tuples for that. I end up with a 12 element tuple and things are a bit messy. I'd like to use extensible Records from HList instead, thing is I'd like to keep putting type signatures in my code. As it turns out that seems to be where it gets messy with HList. Is there a simple way to do this? Günther PS: Does anyone know why there are Label-n modules in HList, and which one to use?