[bmoxb]

I don't see why std::optional being a monad is implied to be a bad/confusing thing? It would be significantly more awkward to use without any monadic operations on offer.