diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,8 @@
+# v1.1.2.6
+
+- Make strict Accum carrier's `<*>` and `>>=` strict in the accumulated value ([#468](https://github.com/fused-effects/fused-effects/pull/468)) (by @byorgey)
+- Allow inspection-testing 0.7 ([#466](https://github.com/fused-effects/fused-effects/pull/466)) (by @MangoIV)
+
 # v1.1.2.5
 
 - Fixes Accum carriers (Strict and Church) to not duplicate state ([#449](https://github.com/fused-effects/fused-effects/issues/449)) (by @byorgey)
diff --git a/fused-effects.cabal b/fused-effects.cabal
--- a/fused-effects.cabal
+++ b/fused-effects.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.2
 
 name:                fused-effects
-version:             1.1.2.5
+version:             1.1.2.6
 synopsis:            A fast, flexible, fused effect system.
 description:         A fast, flexible, fused effect system, à la Effect Handlers in Scope, Monad Transformers and Modular Algebraic Effects: What Binds Them Together, and Fusion for Free—Efficient Algebraic Effect Handlers.
 homepage:            https://github.com/fused-effects/fused-effects
@@ -191,7 +191,7 @@
     , fused-effects
     , hedgehog
     , hedgehog-fn
-    , inspection-testing  >= 0.4 && < 0.6
+    , inspection-testing  >= 0.4 && < 0.7
     , transformers
 
 
diff --git a/src/Control/Carrier/Accum/Church.hs b/src/Control/Carrier/Accum/Church.hs
--- a/src/Control/Carrier/Accum/Church.hs
+++ b/src/Control/Carrier/Accum/Church.hs
@@ -94,14 +94,14 @@
     runAccumC mf (\w' f -> runAccumC ma (\w'' a -> k (w' `mappend` w'') $ f a) (w `mappend` w')) w
   {-# INLINE (<*>) #-}
 
-instance (Alternative m, Monad m, Monoid w) => Alternative (AccumC w m) where
-  empty = lift empty
+instance (Alternative m, Monoid w) => Alternative (AccumC w m) where
+  empty = AccumC $ const $ const empty
   {-# INLINE empty #-}
 
   ma1 <|> ma2 = AccumC $ \k w -> runAccumC ma1 k w <|> runAccumC ma2 k w
   {-# INLINE (<|>) #-}
 
-instance (Monad m, Monoid w) => Monad (AccumC w m) where
+instance Monoid w => Monad (AccumC w m) where
   ma >>= f = AccumC $ \k w -> runAccumC ma (\w' a -> runAccumC (f a) (\w'' -> k $ w' `mappend` w'') (w `mappend` w')) w
   {-# INLINE (>>=) #-}
 
diff --git a/src/Control/Carrier/Accum/Strict.hs b/src/Control/Carrier/Accum/Strict.hs
--- a/src/Control/Carrier/Accum/Strict.hs
+++ b/src/Control/Carrier/Accum/Strict.hs
@@ -91,7 +91,8 @@
   mf <*> ma = AccumC $ \w -> do
     (w' , f) <- runAccumC mf w
     (w'', a) <- runAccumC ma $ mappend w w'
-    return (mappend w' w'', f a)
+    let w''' = mappend w' w''
+    return $ w''' `seq` (w''', f a)
   {-# INLINE (<*>) #-}
 
 instance (Alternative m, Monad m, Monoid w) => Alternative (AccumC w m) where
@@ -105,7 +106,8 @@
   ma >>= f = AccumC $ \w -> do
     (w', a) <- runAccumC ma w
     (w'', b) <- runAccumC (f a) $ mappend w w'
-    return (mappend w' w'', b)
+    let w''' = mappend w' w''
+    return $ w''' `seq` (w''', b)
   {-# INLINE (>>=) #-}
 
 instance (MonadPlus m, Monoid w) => MonadPlus (AccumC w m) where