Bools are Monoids (via logical or)
Bools are Monoids (via logical and)