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