This works for Equatable, Hashable, Encodable, Decodable (and thus Codable), and CaseIterable. For instance, struct Foo<T> { var x: T } extension Foo: Equatable where T: Equatable {} Fix...