“The only difference between success and failure is the ability to take action.”
– Alexander Graham Bell

Union Types in the Practical Type System (PTS)

Union types (aka sum types, variants, choice types) provide an elegant solution for frequent programming tasks.