# Sum type

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

[타입 이론](https://wiki.g15e.com/pages/Type%20theory.txt)에서 합 타입이란 두 개 이상의 서로 다른 타입에 속한 값 중 하나입를 선택적으로 담을 수 있는 타입을 말한다. 대표적으로는 `Either`, `Maybe` 등.

## See also

- [Product type](https://wiki.g15e.com/pages/Product%20type.txt): 합 타입의 <쌍대>