조건부 타입 소개

분산적인 조건부 타입

infer (inference 추론)