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