infer를 사용한 type의 쓰임새

infer는 제너릭으로 컨디셔널 타입으로 만들 때 제너릭으로 하나의 타입을 받아서 유동적인 타입을 받고 난뒤에 해당 타입이 함수를 거치든 어떤 값으로 나올 때 T 또는 배열안에 있던 타입을 그대로 사용하기 따라가기 위한 용도라고 일단 외웠습니다.

제가 혼자 예제 만들기를 좋아하는데 선생님이 해주신 아래 예제들이 어떤 의미를 가지고 어떻게 사용되는지 아직 잘 이해가 안됩니다 ㅠㅠ...

가능하시다면 변수가 Flatten<T>을 사용하는 예제랑 함수가 returnType사용해서 결과값을 내는 예제를 주실 수 있으실까요?

type Flatten<T> = T extends Array<infer ElementType> ? ElementType: T;

type Flatten2<T> = T extends (infer ElementType)[] ? ElementType : T;

type StringArray = Flatten<string[]>;
type NumberArray = Flatten2<number[]>;
type StringAndNumberArray = Flatten<(string|number)[]>
type TwoDArray = Flatten<boolean[][]>

감사합니다!