제네릭 인터페이스 & 제네릭 타입 별칭 수업 질문있습니다.

학생만 사용할 수 있는 함수 goToSchool을 제작할 때 불필요한 타입 좁히기를 피하기 위해서 제네릭을 인터페이스에 활용한다고 하셨는데 처음부터 type을 Student라고 한다면 불필요한 타입 좁히기를 사용할 일이 없지 않나라는 궁금증이 생겨서 질문드립니다. ㅠㅠ

 <아래와 같은 코드>

// 1번 학생을 위한 함수
function goToSchool(user: User) {
  if(user.profile.type !== "Student") {
    user.profile // 개발자
    console.log("잘못오셨습니다")

    return
  }

  user.profile // 학생
}

// 2번 학생을 위한 함수
function goToSchool(user: User) {
  if(user.profile.type === "Student") {
    user.profile // 학생
    console.log("잘못오셨습니다")
  }
}