total-map (hackage): Finitely represented total maps. Represented by as a partial map and a default value. Has Applicative and Monad instances (unlike Data.Map).
Keywords: bsd3|data|library