Apakah para HLists tidak lebih dari sebuah cara penulisan tuple yang berbelit-belit?

Saya benar-benar tertarik untuk mencari tahu di mana perbedaannya, dan lebih umum, untuk mengidentifikasi kasus penggunaan kanonik di mana HList tidak dapat digunakan (atau lebih tepatnya, tidak menghasilkan manfaat apa pun dari daftar biasa). (Saya sadar bahwa ada 22 (saya percaya) TupleNdi Scala,...