[Haskell-cafe] tuple and HList

Frederik Eaton frederik at a5.repetae.net
Sun Mar 20 00:12:09 EST 2005

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.)...?



More information about the Haskell-Cafe mailing list