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