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