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