Are the types of the variants required to be unique? If not, it should be 
called `sum` rather than `union`.

Reply via email to