     init(_ t6: T6)
     func infer() -> T6?
 }
+
+/// Construct a `OneOf6Type` from T6.
+@inlinable public func oneOf<T: OneOf6Type>(_ value: T.T6) -> T { .init(value) }
 
 public extension OneOf6Type {
     @inlinable var v6: T6? { get { return infer() } set { if let newValue = newValue { self = Self.init(newValue)} } }

    init(_ t7: T7)
    func infer() -> T7?
}

public extension OneOf7Type {
    @inlinable var v7: T7? { get { return infer() } set { if let newValue = newValue { self = Self.init(newValue)} } }

    init(_ t9: T9)
    func infer() -> T9?
}

/// Construct a `OneOf9Type` from T9.
@inlinable public func oneOf<T: OneOf9Type>(_ value: T.T9) -> T { .init(value) }

public extension OneOf9Type {
    @inlinable var v9: T9? { get { return infer() } set { if let newValue = newValue { self = Self.init(newValue)} } }
