diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,12 @@
+0.4.2.4
+-------
+<https://github.com/mstksg/auto/releases/tag/v0.4.2.4>
+
+*   **Control.Auto.Blip**: New blip stream splitter `onEitherB`, which splits
+    an incoming blip stream into two output streams based on whether the
+    emitted items resolve to `Left` or `Right` when applied to the splitting
+    function.
+
 0.4.2.3
 -------
 <https://github.com/mstksg/auto/releases/tag/v0.4.2.3>
diff --git a/auto.cabal b/auto.cabal
--- a/auto.cabal
+++ b/auto.cabal
@@ -1,5 +1,5 @@
 name:                auto
-version:             0.4.2.3
+version:             0.4.3.0
 synopsis:            Denotative, locally stateful programming DSL & platform
 description:         (Up to date documentation is maintained at
                      <https://mstksg.github.com/auto>)
@@ -90,8 +90,8 @@
                      , base-orphans >= 0.3.1
                      , bytestring   >= 0.10.4.0
                      , cereal       >= 0.4.1.1
-                     , containers   >= 0.5.5.1
-                     , deepseq      >= 1.3.0.2
+                     , containers   >= 0.5
+                     , deepseq      >= 1.3.0
                      , profunctors  >= 4.3
                      , random       >= 1.1
                      , semigroups   >= 0.16
diff --git a/src/Control/Auto/Blip.hs b/src/Control/Auto/Blip.hs
--- a/src/Control/Auto/Blip.hs
+++ b/src/Control/Auto/Blip.hs
@@ -64,12 +64,13 @@
   , lagBlips_
   , filterB
   , splitB
+  , mapMaybeB
+  , splitEitherB
   , collectB
   , collectB_
   , collectBs
   , collectBs_
   , joinB
-  , mapMaybeB
   , takeB
   , takeWhileB
   , dropB
@@ -548,6 +549,21 @@
                             Blip x' | p x'      -> (x, NoBlip)
                                     | otherwise -> (NoBlip, x)
                             _                   -> (NoBlip, NoBlip)
+
+-- | "Splits" a blip stream based on a predicate returning an 'Either'.
+-- All 'Left' results go to the first output stream, and all 'Right'
+-- results go to the second.
+--
+-- On an 'a -> Either () b', is roughly analogous to 'mapMaybeB'.  On an 'a
+-- -> Either () ()', is roughly analogous to 'filterB' or 'splitB'.
+splitEitherB :: (a -> Either b c)
+             -> Auto m (Blip a) (Blip b, Blip c)
+splitEitherB f = mkFunc $ \x -> case x of
+                                  Blip x' -> case f x' of
+                                               Left y  -> (Blip y, NoBlip)
+                                               Right y -> (NoBlip, Blip y)
+                                  _       -> (NoBlip, NoBlip)
+
 
 -- | "Collapses" a blip stream of blip streams into single blip stream.
 -- that emits whenever the inner-nested stream emits.
diff --git a/src/Control/Auto/Core.hs b/src/Control/Auto/Core.hs
--- a/src/Control/Auto/Core.hs
+++ b/src/Control/Auto/Core.hs
@@ -111,8 +111,11 @@
 import Data.Serialize
 import Data.String
 import Data.Traversable
-import Data.Typeable
 import Prelude hiding         ((.), id, sequence)
+
+#if MIN_VERSION_base(4,7,0)
+import Data.Typeable
+#endif
 
 
 -- | The 'Auto' type.  For this library, an 'Auto' semantically