[ add ] Bool action on a RawMonoid plus properties#2450

JacquesCarette merged 11 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:Bool-actionjamesmckinna/agda-stdlib:Bool-actionCopy head branch name to clipboard