Method that must be implemented to combine two elements of the Semigroup.
@override bool concat(bool first, bool second) => first && second;