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