There are also union types. And sum types can be implemented in terms of union types: https://waleedkhan.name/blog/union-vs-sum-types/ https://waleedkhan.name/b

There are also union types. And sum types can be implemented in terms of union types: https://waleedkhan.name/blog/union-vs-sum-types/ https://waleedkhan.name/blog/union-vs-sum-types/