だとすると Encoder のコードも Codable ごとに specialize されうるのかな。