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