https://www.youtube.com/watch?v=ojZbFIQSdl8&feature=youtu.be... is a nice explanation for curly-brace programmers of why it's called a sum type (vs structs, which are product types)