For me I'm interested in the type system provided by a language.

For Val, I was a little hesitant when I saw the docs say "Two or more types can form a union type, also known as a sum type." since a union type and a sum type are similar but distinct concepts.

For a language, it is very important to understand the differences between these because I think they will greatly impact the design of the language.