Type Alias CheckParameterState<P>`Internal`

CheckParameterState: P extends readonly [
    infer H extends ParameterState[number],
    ...(infer T extends ParameterState),
]
    ? [NonNullable<ValueOf<H[1]>>] extends [never]
        ? never
        : CheckParameterState<T>
    : unknown

Reject incompatible argument intersections introduced by a nested reader.