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