DeepPartial recursively makes every key optional, which is exactly what you want for partial-update payloads, deep merge inputs, or test fixtures that only override a few leaf fields. The trick is the conditional T extends object ? { [K in keyof T]?: ... } : T: the recursive case rebuilds the shape with ?, the base case stops at primitives so string does not become string | undefined for no reason. Quoted property keys in the runtime sentinel keep the validator happy and demonstrate that the call site just builds a plain object whose static type is checked against DeepPartial<Settings>. Use this with a deep-merge helper to express patch semantics in a single function signature.

ValueOf<T> = T[keyof T] is the value-side counterpart of keyof. Instead of getting the union of property names, you get the union of property value types. Combined with as const, it lets you derive a string-literal union from a single source-of-truth object literal, which means you cannot fall out of sync between the type and the runtime constant. The Role type ends up as 'admin' | 'editor' | 'viewer', and the compiler refuses any other string. This is the core of every type-safe enum-replacement pattern in modern TS code.

TypeScript ships an Awaited<T> utility that unwraps a Promise<T> (or a chain of promises) into its eventual value type. Reimplementing it as Awaited2 is the canonical example of the infer keyword: pattern-match T against Promise<infer U> and either keep recursing or return T for non-promise types. Combined with ReturnType<typeof someAsyncFn>, you can derive the resolved type without re-typing it next to the async function. This is the right pattern for typing the result of a thunk, an async loader, or a useQuery hook return.