タイプセーフにしようとすると、 Codable が DictionaryKey を持ってて、 JSONEncoder は func encode<T>(_ value: T) throws -> Data where T : Encodable, T.DictionaryKey == String|Int みたいなことができないとダメな気がしてます。