타입 시스템 (2)