diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,12 @@
 # Revision history for streaming-with
 
+## 0.2.0.0 -- 2017-07-07
+
+* Add `Monad w` constraint to `Withable w`
+
+    - This was the intended use case all along, with the intent that
+      you can write code generic in the choice of `w`.
+
 ## 0.1.1.0 -- 2017-07-07
 
 * Add support for the [temporary] package, specifically the functions:
diff --git a/src/Streaming/With/Lifted.hs b/src/Streaming/With/Lifted.hs
--- a/src/Streaming/With/Lifted.hs
+++ b/src/Streaming/With/Lifted.hs
@@ -78,7 +78,7 @@
 --   make writing all the underlying continuations in a nicer fashion
 --   without explicit nesting, rather than as the basis of lower-level
 --   code.
-class (MonadMask (WithMonad w), MonadIO (WithMonad w)) => Withable w where
+class (Monad w, MonadMask (WithMonad w), MonadIO (WithMonad w)) => Withable w where
   type WithMonad w :: * -> *
 
   liftWith :: (forall r. (a -> WithMonad w r) -> WithMonad w r) -> w a
diff --git a/streaming-with.cabal b/streaming-with.cabal
--- a/streaming-with.cabal
+++ b/streaming-with.cabal
@@ -1,5 +1,5 @@
 name:                streaming-with
-version:             0.1.1.0
+version:             0.2.0.0
 synopsis:            with/bracket-style idioms for use with streaming
 description:
     This package provides the foundations for a continuation-based