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