data-diverse-4.7.1.0: Extensible records and polymorphic variants.