타입 안정성 (2)