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