A monad for values that may not be available or computations that may fail.