diff --git a/quiver.cabal b/quiver.cabal
--- a/quiver.cabal
+++ b/quiver.cabal
@@ -1,5 +1,5 @@
 name:           quiver
-version:        0.0.0.9
+version:        0.0.0.10
 synopsis:       Quiver finite stream processing library
 homepage:       https://github.com/zadarnowski/quiver
 category:       Control
@@ -35,7 +35,7 @@
 source-repository this
   type:         git
   location:     https://github.com/zadarnowski/quiver.git
-  tag:          0.0.0.9
+  tag:          0.0.0.10
 
 library
   hs-source-dirs:   src
diff --git a/src/Control/Quiver/SP.lhs b/src/Control/Quiver/SP.lhs
--- a/src/Control/Quiver/SP.lhs
+++ b/src/Control/Quiver/SP.lhs
@@ -78,7 +78,7 @@
 > --   the processor 'p', deliverying 'SPIncomplete' if 'y' could
 > --   not be consumed by the downstream processor.
 
-> (>:>) :: b -> SP a b f e -> SP a b f e
+> (>:>) :: b -> P a a' b b' f (SPResult e) -> P a a' b b' f (SPResult e)
 > y >:> p = produce y (const p) (deliver SPIncomplete)
 
 > -- | @p >>! k@ is equivalent to @p@, with any failures in @p@
@@ -87,7 +87,7 @@
 > --   'SPComplete' or is interrupted by the downstream processor,
 > --   deliverying 'SPIncomplete'.
 
-> (>>!) :: Monad f => SP a b f e -> (e -> SP a b f e') -> SP a b f e'
+> (>>!) :: Monad f => P a a' b b' f (SPResult e) -> (e -> P a a' b b' f (SPResult e')) -> P a a' b b' f (SPResult e')
 > p >>! k = p >>= maybe (deliver SPIncomplete) (maybe (deliver SPComplete) k)
 
 > -- | @sppure f@ produces an infinite consumer/producer that