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