> I am certainly rooting for sum and product types to become pervasive common knowledge to all programmers one day I agree. And it's not just programming, but

> I am certainly rooting for sum and product types to become pervasive common knowledge to all programmers one day I agree. And it's not just programming, but also databases. One of the flaws of relational data model is that sum types are awkward to express - typically this is done through inheritance.