map -package:dlist -package:bytestring -is:exact -is:exact -package:hedgehog package:foldl is:exact

Fold pairs into a map.