insert module:Data.Set is:exact -package:multimap package:set-monad