map -package:basement -package:foldl -package:invertible package:insert-ordered-containers is:exact