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