[monad] added: then_val method