diff --git a/Data/Functor/Indexed.hs b/Data/Functor/Indexed.hs
--- a/Data/Functor/Indexed.hs
+++ b/Data/Functor/Indexed.hs
@@ -50,7 +50,3 @@
 
 class IxFunctor w => IxCopointed w where
   iextract :: w i i a -> a
-
-{-# RULES
-"iextract/ireturn" iextract . ireturn = id
- #-}
diff --git a/indexed.cabal b/indexed.cabal
--- a/indexed.cabal
+++ b/indexed.cabal
@@ -1,5 +1,5 @@
 Name:                indexed
-Version:             0.1.2
+Version:             0.1.3
 Synopsis:            Haskell98 indexed functors, monads, comonads
 Description:         Haskell98 indexed functors, monads, comonads
 License:             BSD3