Czy HLists to nic innego jak zawiły sposób pisania krotek?

Naprawdę jestem zainteresowany ustaleniem, gdzie są różnice, a bardziej ogólnie, zidentyfikowaniem kanonicznych przypadków użycia, w których HLists nie mogą być używane (a raczej nie dają żadnych korzyści w porównaniu do zwykłych list). (Zdaję sobie sprawę, że TupleNw Scali jest 22 (wierzę) ,...