super 식에서 불필요한 상위 타입 정규화를 제거합니다.