map -package:base -package:dense-linear-algebra -is:exact -package:basement package:foldl is:exact

Fold pairs into a map.