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