I am really interested in finding out where the differences are, and more generally, to identify canonical use cases where HLists cannot be used (or rather, don\'t yield any
There are a lot of things you can't do (well) with tuples:
You can do all of that with tuples of course, but not in the general case. So using HLists makes your code more DRY.