@hackage data-diverse0.6.0.0

Data.Diverse.Many is an extensible record for any size encoded efficiently as (Int, Map Int Any). Data.Diverse.Which is a polymorphic variant of possibilities encoded as (Int, Any). Provides getters, setters, projection, injection, folds, and catamorphisms; accessed by type, index or label. Refer to ManySpec.hs and WhichSpec.hs for example usages.