[ add ] Data.Parity admits a(n) (Is)Boolean(Semi)Ring structure/bundle #2947
Description
Obvious extension, following #2763 , plus it's the Initial object in the category (is it)?