diff --git a/Prelude/Monoid b/Prelude/Monoid
index fa668d8..ce3e49f 100644
--- a/Prelude/Monoid
+++ b/Prelude/Monoid
@@ -16,6 +16,10 @@ Examples:
     : ./Monoid Bool
 ./Bool/or
     : ./Monoid Bool
+./Bool/even
+    : ./Monoid Bool
+./Bool/odd
+    : ./Monoid Bool
 ./List/concat
     : ∀(a : Type) → ./Monoid (List a)
 ./List/shifted