Dependent Types and the Art of HTTP Headers