insert module:Data.Set -package:containers -package:nonempty-containers package:set-monad