Output<T>: T extends Shape<never, infer O>
    ? O
    : never

Type Parameters