PromiseUnpack<Promise<number>> 코드 질문드립니다.

type PromiseUnpack<T> = T extends Promise<infer R> ? R : never;

type PromiseA = PromiseUnpack<Promise<number>>; // number타입
type PromiseB = PromiseUnpack<Promise<string>>; // string타입

안녕하세요 선생님. 8:40~부터 나오는 실습코드입니다.

타입스크립트의 타입 정의에 관해 헷갈리는 개념이 있습니다.

PromiseUnpack<Promise<number>>에서 Promise는 정의해주지 않았는데 갑자기 나오는 이유가 궁금합니다.

type Promise = 블라블라이게 없어서 궁금합니다.

Promise라는 타입을 정의해준 적은 없지만 '그런 타입이 존재하는구나' 라고 타입스크립트에서 추론이 되어 Promise의 타입 정의 없이 예시로 코드를 작성하신 것일까요??