Given #14224, I think that `Partial` should be defined as follows: ```ts type Partial<T extends object> = { [K in keyof T]?: T[K] } ``` `Readonly` could be defined similarly. I don't necessarily know if `Pick` should be defined that way. Part of me thinks that this `Pick` has a different intent.