Type alias OneOfValue<Ts>

OneOfValue<Ts>: {
    [K in keyof Ts]: Ts[K] extends MaybeWeightedArbitrary<infer U>
        ? U
        : never
}[number]

Infer the type of the Arbitrary produced by oneof given the type of the source arbitraries