Wondering about the differences between union types and sum types? This gives a good idea about what they are.
