StringVec: Codec<string[], string[]> = ...