diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,7 @@
+### 0.0.1.0 (2023-01-16)
+
+Remove unnecessary `Monad` constraints from `Consumer` examples
+
 ### 0.0.0.0 (2023-01-16)
 
 Initial release
diff --git a/supply-next.cabal b/supply-next.cabal
--- a/supply-next.cabal
+++ b/supply-next.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name: supply-next
-version: 0.0.0.0
+version: 0.0.1.0
 category: Streaming
 synopsis: Supply-chain interface for basic streaming
 description:
diff --git a/supply-next/Next/Consumer/Examples.hs b/supply-next/Next/Consumer/Examples.hs
--- a/supply-next/Next/Consumer/Examples.hs
+++ b/supply-next/Next/Consumer/Examples.hs
@@ -35,8 +35,7 @@
     effectful fold
 
 See "Fold.Effectful" -}
-foldEffect :: Monad action =>
-    EffectfulFold action item product
+foldEffect :: EffectfulFold action item product
     -> ConsumerPlus up action item product
 foldEffect f = foldJob (Fold.Effectful.hoist Job.perform f)
 
@@ -44,17 +43,16 @@
     pure fold
 
 See "Fold.Pure" -}
-foldPure :: Monad action =>
-    Fold item product
+foldPure :: Fold item product
     -> ConsumerPlus up action item product
 foldPure f = foldJob (Fold.Effectful.fold f)
 
 {-| Consumes all items and returns them as a list -}
-toList :: forall up action item. Monad action =>
+toList :: forall up action item.
     ConsumerPlus up action item [item]
 toList = foldPure Fold.Pure.list
 
 {-| Like 'toList', but discards the results -}
-run :: forall up action item. Monad action =>
+run :: forall up action item.
     ConsumerPlus up action item ()
 run = foldPure (pure ())