Method that must be implemented to combine two elements of the Semigroup.
@override bool concat(bool x, bool y) => x || y;