문제 배열(튜플) T를 받아 첫 원소의 타입을 반환하는 제네릭 First를 구현하세요. type arr1 = ['a', 'b', 'c'] type arr2 = [3, 2, 1] type head1 = First // expected to be 'a' type head2 = First // expected to be 3 풀이 비교적 간단한 문제라서 T[0]을 반환하도록 했는데, 그랬더니 []인경우 never에 대한 케이스에 걸려서 분기처리를 진행해줬다 type First = T extends [] ? never : T[0]; 출처 https://github.com/type-challenges/type-challenges/blob/main/questions/00014-easy-first/README.ko.m..