Expand description
Implementation of Monad for Option<A>.
If any of the input values are None, you can expect the output to be None as well.
That includes
OptionInstance::replace and OptionInstance::discard_first/OptionInstance::discard_second,
even if the value of the option would be ignored.
For Result<A, E> alternative see result.