Data.Set.Monad
mapM
mapM_
filterM