[avsm]

This particular iteration is unbounded, but the next step is to pass in a GADT argument to specify which headers the application wants, so only those are parsed into a heterogenous tuple.

[messe]

That sounds like a rather elegant solution to it.