Add examples on monad return