extension A: Error { } extension S: Error where K: Sendable, V == String { }