WebStreamsCompressionFormattype alias CompressionFormatDefinition #"deflate" | "deflate-raw" | "gzip"