import { Contravariant, InferContravariant } from ".";
/**
 * extracts a single member of union U
 *
 * @warning provides no guarantee about order
 *
 * @note
 * `boolean` is represented by TS internally as the union `true | false`.
 * as a result, this may extract just a single boolean value from the `boolean` type.
 *
 * @note
 * it appears that the order of elements in the union as defined does not impact which member is picked.
 * e.g. Member<A | B> == Member<B | A>.
 * however, there are no guarantees for this; it is merely an observation.
 * do submit an issue or let us know if you find evidence suggesting otherwise.
 *
 * @since 0.0.7
 *
 * @example
 * ```ts
 * type e0 = Member<0>        // 0
 * type e1 = Member<0 | 1>    // 1 // empirically determined; but what really matters is it's a single member
 *
 * type w0 = Member<boolean>  // true // ts represents `boolean` internally as a union of `true` and `false`
 * ```
 */
export type Member<U> = InferContravariant<InferContravariant<Contravariant<Contravariant<U>>>>;
//# sourceMappingURL=member.d.ts.map