QueryHF code is excessively verbose

[jasagredo]

          All of these function definitions seem excessively verbose.

Perhaps even just factoring out a reusable combinator for the Byron-versus-Shelley split would reduce the noise by approximately 2.5x?

Originally posted by @nfrisby in #1267 (comment)

As @amesgen also suggested, we could use some TH helper. Same applies to Cardano/Ledger.hs instances.

Let's do this after the merge.

[jasagredo]

This was sufficiently implemented in #1304