Anybody that has used algebraic data types(sum or product types) know how useful they are for describing data. Yet no databases, SQL or not, support them natively. Why?