아이템 7에서 type T1 = keyof (IPerson | ILifespan); 가 never인 이유?

type Person = { name: string; }
type Lifespan = { birth: Date; death: Date }

type KeyofPerson = keyof Person;            // 'name'
type KeyofLifespan = keyof Lifespan;        // 'birth' | 'death'

type KUnion1 = KeyofPerson | KeyofLifespan;
// 'name' | ('birth' | 'death')
// === 'name' | 'birth' | 'death'

type KInter1 = KeyofPerson & KeyofLifespan;
// 'name' & ('birth' | 'death')
// === ('name' & 'birth') | ('name' & 'death')
// === never | never 
// === never;

type KUnion2 = keyof (Person | Lifespan);
// Unions의 키값들의 부분집합. 자체로 구성 불가
// keyof( { name: string; } | { birth: Date; } )
// 두 객체에 공통되는 키값이 없으므로 'keyof'로 표현 불가.
// === (keyof Person) & (keyof Lifespan)
// === never;

나름대로 정리를 해보았습니다. 
혼란스러운 요소를 줄이는 차원에서 death프로퍼티를 필수로 바꿨습니다 (?를 뺌)
이해가 되실런지 모르겠네요.
저도 뭔가 머리로는 알것 같은데 설명하기엔 애매하네요..

애초에 ['name' 이면서 동시에 'name'이 아닌 다른것] 은 존재하지 않는게 맞겠지요.
즉 'name은 필수'라는 부분은 틀린 것 같아요.