             case .v8(let x): self = .init(x)
             case .v9(let x): self = .init(x)
             }
+        }
+    }
+}
+
+public extension Either9Type where Self : OneOf9Type, T1 == T2, T2 == T3, T3 == T4, T4 == T5, T5 == T6, T6 == T7, T7 == T8, T8 == T9 {
+    /// The single value of all the underlying possibilities
+    @inlinable var oneOfValue: T1 {
+        switch oneOf9 {
+        case .v1(let x): return x
+        case .v2(let x): return x
+        case .v3(let x): return x
+        case .v4(let x): return x
+        case .v5(let x): return x
+        case .v6(let x): return x
+        case .v7(let x): return x
+        case .v8(let x): return x
+        case .v9(let x): return x
         }
     }
 }

            case .v3(let x): self = .init(x)
            case .v4(let x): self = .init(x)
            }
        }
    }
}

            case .v2(let x): self = .init(x)
            case .v3(let x): self = .init(x)
            }
        }
    }
}

public extension Either3Type where Self : OneOf3Type, T1 == T2, T2 == T3 {
    /// The single value of all the underlying possibilities
    @inlinable var oneOfValue: T1 {
        switch oneOf3 {
        case .v1(let x): return x
        case .v2(let x): return x
        case .v3(let x): return x
        }
    }
}
