Les HLists ne sont-ils rien de plus qu'une manière compliquée d'écrire des tuples?

Je suis vraiment intéressé à découvrir où se trouvent les différences, et plus généralement, à identifier les cas d'utilisation canoniques où les HLists ne peuvent pas être utilisées (ou plutôt, ne donnent aucun avantage par rapport aux listes régulières). (Je suis conscient qu'il y en a 22 (je...