@hackage dependent-map0.2.0.1

Dependent finite maps (partial dependent products)

Provides a type called DMap which generalizes Data.Map.Map, allowing keys to specify the type of value that can be associated with them.