diff --git a/replace-megaparsec.cabal b/replace-megaparsec.cabal
--- a/replace-megaparsec.cabal
+++ b/replace-megaparsec.cabal
@@ -1,5 +1,5 @@
 name:                replace-megaparsec
-version:             1.2.0.0
+version:             1.2.1.0
 cabal-version:       1.18
 synopsis:            Find, replace, and edit text patterns with Megaparsec parsers
 homepage:            https://github.com/jamesdbrock/replace-megaparsec
diff --git a/src/Replace/Megaparsec.hs b/src/Replace/Megaparsec.hs
--- a/src/Replace/Megaparsec.hs
+++ b/src/Replace/Megaparsec.hs
@@ -52,7 +52,6 @@
 where
 
 
-import Data.Void
 import Data.Bifunctor
 import Data.Functor.Identity
 import Data.Proxy
@@ -209,8 +208,8 @@
 --
 -- This allows us to write an @editor@ function which can choose to not
 -- edit the match and just leave it as it is. If the @editor@ function
--- always returns the first item in the tuple, then @streamEdit@ changes
--- nothing.
+-- returns the first item in the tuple, then @streamEdit@ will not change
+-- the matched string.
 --
 -- So, for all @sep@:
 --
@@ -237,10 +236,10 @@
 -- We need @Typeable s@ and @Show s@ for 'Control.Exception.throw'. In theory
 -- this function should never throw an exception, because it only throws
 -- when the 'sepCap' parser fails, and the 'sepCap' parser
--- can never fail. If this function ever throws, please report that as a bug.
+-- can never fail. The error type parameter @e@ should usually be 'Data.Void'.
 streamEdit
-    :: forall s a. (Stream s, Monoid s, Tokens s ~ s, Show s, Show (Token s), Typeable s)
-    => Parsec Void s a
+    :: forall e s a. (Show e, ShowErrorComponent e, Typeable e, Stream s, Monoid s, Tokens s ~ s, Show s, Show (Token s), Typeable s)
+    => Parsec e s a
         -- ^ The parser @sep@ for the pattern of interest.
     -> (a -> s)
         -- ^ The @editor@ function. Takes a parsed result of @sep@
@@ -265,8 +264,8 @@
 -- If you want the @editor@ function or the parser @sep@ to remember some state,
 -- then run this in a stateful monad.
 streamEditT
-    :: forall s m a. (Stream s, Monad m, Monoid s, Tokens s ~ s, Show s, Show (Token s), Typeable s)
-    => ParsecT Void s m a
+    :: forall e s m a. (Show e, ShowErrorComponent e, Typeable e, Stream s, Monad m, Monoid s, Tokens s ~ s, Show s, Show (Token s), Typeable s)
+    => ParsecT e s m a
         -- ^ The parser @sep@ for the pattern of interest.
     -> (a -> m s)
         -- ^ The @editor@ function. Takes a parsed result of @sep@