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