그냥 Option()하면 Option>()으로 추론 안해주나?