Dependent Types and the Art of HTTP Headers

The URL appears to be wrong. An article with that title exists at: https://unwoundstack.com/blog/dependent-types-and-http-heade...