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