저장·크기 비교·반환은 같은 구조지만 검진 행동은 동물 종류마다 달라질 수 있습니다.
타입별 T 입력
같은 구조
공통 알고리즘
종별 정책
구체 타입 보존
핵심: 복사된 줄보다 어떤 단계가 함께 바뀌는지를 기준으로 제네릭 경계를 찾습니다.