for Boolean, monoid could form an AND or an OR rig...
# arrow-contributors
j
for Boolean, monoid could form an AND or an OR right?