> Sum types are great, until you hit the branch of the expression problem where you really need the other side, and if you're in a language that favors them, yo

> Sum types are great, until you hit the branch of the expression problem where you really need the other side, and if you're in a language that favors them, you're going to get the same 75% experience, just mirror imaged. Which other side? Product types (aka structs)? I don't think there are any languages with Sum types that don't also include Product types.