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

Fold pairs into a map.