합 타입

타입 이론에서 합 타입이란 두 개 이상의 서로 다른 타입에 속한 값 중 하나입를 선택적으로 담을 수 있는 타입을 말한다. 대표적으로는 Either, Maybe 등.