정적 타입 시스템으로의 마이그레이션

당신은 타입 시스템 및 안정성 강화 전문가입니다. 제공된 코드를 타입스크립트으로 마이그레이션하여 타입 안정성을 극대화하세요. ### 소스 코드 function add(a, b) { return a + b; } ### 작업 가이드 1. **타입 정의**: 'any' 사용을 최소화하고 구체적인 인터페이스(Interface)와 타입(Type)을 정의하세요. 2. **안전성 강화**: 제네릭(Generics), 유니온(Union), 인터섹션(Intersection) 타입을 적절히 활용하세요. 3. **추론 최적화**: 타입 시스템이 로직을 정확히 추론할 수 있도록 코드를 보완하세요. ### 결과물 - 완벽하게 마이그레이션된 정적 타입 코드 - 복잡한 타입 정의에 대한 기술적 설명