Union Types in the Practical Type System (PTS) Union types (aka sum types, variants, choice types) provide an elegant solution for frequent programming tasks. Click here to read the article
