example : monad set := {}