export type Require = { [key in Exclude]: O[key]; } & { [key in K]-?: O[key]; };