Add new Bool action on a RawMonoid plus properties#2450
Draft
jamesmckinna wants to merge 3 commits intoagda:masterfrom jamesmckinna:Bool-action
+46-3
Bool action on a RawMonoid plus properties#2450