Codable は associatedtype も Self も持たないだたの protocol だから、 Codable 型として existential になりますよね？ struct Foo: Codable {} let foo: Codable = Foo() // OK