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