Boolean Monoid
((true, false), &)
#Monoid
#Math