This monoids "absorbs" success messages if the result of the |+| is not a success
This monoids keeps success messages if the result of the |+| is not a success
this allows the creation of expectations with a for loop
the accumulation of all results, without success messages
implicit typeclass instance to create examples from Results
the result of a side-effecting block