map -package:basement -package:conduit -package:invertible is:exact -package:hedgehog package:foldl

Fold pairs into a map.