Monad for passing and combining metadata related to the evaluation of values.
For “either”/“sum” wrapping, see result.
result
For no extra data, see solo.
solo