Dependent finite maps (partial dependent products)

dependent-map alternatives and similar packages

Based on the "dependent" category

• dependent-sum

  9.3 6.0 dependent-map VS dependent-sum

  Dependent sum type

• dependent-hashmap

  3.8 - dependent-map VS dependent-hashmap

  Dependent hash maps

• dependent-state

  1.8 0.0 dependent-map VS dependent-state

  Control structure similar to Control.Monad.State, ...

Do you think we are missing an alternative of dependent-map or a related project?