> If the header is not present, should it not be hashed as if it was the null string?
I've found, that non-existing headers are handled on next line:
`[Hdr || Hdr <- WithUndef, Hdr =/= undefined]` - note `Hdr =/= undefined`, which is equivalent of placing `<<>>`, but simpler to handle.