That's one of the possible Semigroup instances, which corresponds to the "computation failed" meaning of Option (so if you combine two computations and one of them fails the combination as a whole fails too). There are other possible instances though, see getFirstMonoid, getLastMonoid and getMonoid from the Option module
That's one of the possible
Semigroupinstances, which corresponds to the "computation failed" meaning ofOption(so if you combine two computations and one of them fails the combination as a whole fails too). There are other possible instances though, seegetFirstMonoid,getLastMonoidandgetMonoidfrom the Option moduleI see, thanks for the clarification!