dependent-map-0.1.1.1: Dependent finite maps (partial dependent products)