Type alias OptionSomeType<T>

OptionSomeType<T>: T extends Some<infer U>
    ? U
    : never

Type Parameters