typescript refinement 과정에서 Union Type, 그리고 overlap 에 대한 질문

[godotwait]

하기 깃헙 이슈에 질문 내용을 정리했습니다.

Issue: typescript refinement 과정에서 Union Type 과 overlap 에 대한 질문