Added set monad