Comment Comment by catnaroek No, they haven't. Union types and sum types are semantically very different from each other. parent catnaroek 8 years ago