diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+0.2.1.0
+=======
+    - Now >> behaves differently from the concurrent *>, and sequences its
+      arguments. It makes more sense for the monad. This is what Haxl does as
+      well. 
+    
 0.2.0.0
 =======
     - Internal changes that remove the necessity for (Show e,Typeable e)
diff --git a/conceit.cabal b/conceit.cabal
--- a/conceit.cabal
+++ b/conceit.cabal
@@ -1,5 +1,5 @@
 name:          conceit
-version:       0.2.0.0
+version:       0.2.1.0
 license:       BSD3
 license-file:  LICENSE
 data-files:    
@@ -27,7 +27,8 @@
         bifunctors >= 4.1 && < 5,
         void >= 0.6 && < 0.7,
         exceptions >= 0.6 && < 0.7,
-        mtl >=2.0 && <2.3 
+        mtl >=2.0 && <2.3,
+        transformers >=0.2 && < 0.5
 
 Source-repository head
     type:     git
diff --git a/src/Control/Concurrent/Conceit.hs b/src/Control/Concurrent/Conceit.hs
--- a/src/Control/Concurrent/Conceit.hs
+++ b/src/Control/Concurrent/Conceit.hs
@@ -19,6 +19,7 @@
 import Data.Void
 import Control.Applicative 
 import Control.Monad
+import Control.Monad.IO.Class
 import qualified Control.Monad.Catch as Ex
 import Control.Exception 
 import Control.Concurrent
@@ -61,7 +62,7 @@
    mempty = Conceit . pure . pure $ mempty
    mappend c1 c2 = (<>) <$> c1 <*> c2
 
--- | `>>` is concurrent.
+-- | `>>` sequences its arguments.
 instance Monad (Conceit e) where
    return = pure
    f >>= k = Conceit $ do
@@ -69,7 +70,6 @@
       case x of 
          Left e -> return $ Left e                      
          Right r -> runConceit $ k r
-   f >> k = f *> k
 
 instance MonadPlus (Conceit e) where
    mzero = empty