Type Alias TypeAtPath<T, P>

TypeAtPath: P extends `${infer Key}.${infer Rest}`
? Key extends keyof T ? TypeAtPath<T[Key], Rest> : unknown
: P extends keyof T ? T[P] : unknown

Extract the type at a given dot-separated path. PathOfType produces valid paths; TypeAtPath resolves the leaf type.