I don't think it's inconsistent. Optionals are monads by design. It would not make any sense to leave basic monadic operations out just because non-monadic components exist.

If anything, C++ is missing an either/neither monad, and specializations such as a result monad.