[Haskell-cafe] tuple and HList

[Frederik Eaton]

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/