[monad.future] added: correct monadic value symantic