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