diff --git a/indexed-transformers.cabal b/indexed-transformers.cabal
--- a/indexed-transformers.cabal
+++ b/indexed-transformers.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           indexed-transformers
-version:        0.1.0.1
+version:        0.1.0.2
 synopsis:       Atkey indexed monad transformers
 description:    Please see the README on GitHub at <https://github.com/morphismtech/indexed-transformers#readme>
 category:       Control
diff --git a/src/Control/Monad/Trans/Indexed.hs b/src/Control/Monad/Trans/Indexed.hs
--- a/src/Control/Monad/Trans/Indexed.hs
+++ b/src/Control/Monad/Trans/Indexed.hs
@@ -102,8 +102,8 @@
 
   prop> (<=<) = andThenIx
   prop> andThenIx g f x = bindIx g (f x)
-  prop> f & andThen return = f
-  prop> return & andThen f = f
+  prop> f & andThenIx return = f
+  prop> return & andThenIx f = f
   prop> f & andThenIx g & andThenIx h = f & andThenIx (g & andThenIx h)
   -}
   andThenIx