Types » Row polymorphism
[Hubers2023] Generic Programming with Extensible Data Types
..