[Haskell-cafe] tuple and HList

HList seems just like a tuple, but more powerful because one can access the type structure directly, and more cumbersome because one has to use lengthier constructors a 'nil' terminator. So why not just make tuples synonyms for HLists, so one can use HLists with the shorter notation, and have the added benefit of being able to access the internals of a tuple (e.g. make instances which concatenate generic tuples, project elements, etc.)...? Frederik -- http://ofb.net/~frederik/