For those new to this, good search terms are "row polymorphism", "extensible records", and "polymorphic variants".
For those new to this, good search terms are "row polymorphism", "extensible records", and "polymorphic variants".