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