Input<T>: T extends Shape<infer I, unknown>
    ? I
    : never

Type Parameters