Type Alias Flip<T, U, V>

Flip<T, U, V>:
    | Box<never, never>
    | (T extends null
        ? null
        : never)
    | (U extends true
        ? Failure<SuccessType<T>>
        : Success<SuccessType<T>>)
    | (V extends true
        ? Success<FailureType<T>>
        : Failure<FailureType<T>>)