I believe this implements an exact object type in Typescript:
type Exactly<Candidate, Shape> = Shape & {
[key in keyof Candidate]: key extends keyof Shape ? Shape[key] : never;
};