ts-pattern과 선언적 복잡한 조건문