row-polymorphism
row-polymorphism copied to clipboard
Add missing cases to ftv & apply for TVariant
without them, variants don't properly type check (you end up with free variables)