Fixed `OptionalMonoidFromSemigroup`.