P0798R8

Monadic operations for std::optional