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