[monad] added: helper monad function