diff --git a/bowtie.cabal b/bowtie.cabal
--- a/bowtie.cabal
+++ b/bowtie.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           bowtie
-version:        0.3.0
+version:        0.3.1
 synopsis:       Tying knots in polynomial functors
 description:    Please see the README on GitHub at <https://github.com/ejconlon/bowtie#readme>
 homepage:       https://github.com/ejconlon/bowtie#readme
diff --git a/src/Bowtie/Rewrite.hs b/src/Bowtie/Rewrite.hs
--- a/src/Bowtie/Rewrite.hs
+++ b/src/Bowtie/Rewrite.hs
@@ -47,6 +47,9 @@
 embedRwT :: m (Either (AnnoErr k e) a) -> RwT k e m a
 embedRwT n = RwT (ReaderT (const (ExceptT n)))
 
+embedRw :: Either (AnnoErr k e) a -> Rw k e a
+embedRw = embedRwT . Identity
+
 pushRw :: (Monad m) => k -> RwT k e m a -> RwT k e m a
 pushRw b m = RwT (local (NESeq.|> b) (unRwT m))