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