diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.2.0.2
+---
+* Migrate to new `phantom` definition in `contravariant`
+
 0.2.0.1
 ---
 * Add `Control.Lens.Action.Type` to exposed-modules list.
diff --git a/lens-action.cabal b/lens-action.cabal
--- a/lens-action.cabal
+++ b/lens-action.cabal
@@ -1,6 +1,6 @@
 name:          lens-action
 category:      Data, Lenses, Generics
-version:       0.2.0.1
+version:       0.2.0.2
 license:       BSD3
 cabal-version: >= 1.8
 license-file:  LICENSE
@@ -38,7 +38,7 @@
     lens                      >= 4.7      && < 5,
     base                      >= 4.5      && < 5,
     comonad                   >= 4        && < 5,
-    contravariant             >= 0.3      && < 2,
+    contravariant             >= 1.2.1    && < 2,
     profunctors               >= 4        && < 6,
     mtl                       >= 2.0.1    && < 2.3,
     semigroups                >= 0.8.4    && < 1,
diff --git a/src/Control/Lens/Action/Reified.hs b/src/Control/Lens/Action/Reified.hs
--- a/src/Control/Lens/Action/Reified.hs
+++ b/src/Control/Lens/Action/Reified.hs
@@ -23,6 +23,7 @@
 import Control.Lens hiding ((<.>))
 import Control.Monad
 import Control.Monad.Reader.Class
+import Data.Functor.Contravariant
 import Data.Functor.Bind
 import Data.Functor.Plus
 import Data.Profunctor
@@ -48,10 +49,10 @@
 
 instance Strong (ReifiedMonadicFold m) where
   first' l = MonadicFold $ \f (s,c) ->
-    coerce $ runMonadicFold l (dimap (flip (,) c) coerce f) s
+    phantom $ runMonadicFold l (dimap (flip (,) c) phantom f) s
   {-# INLINE first' #-}
   second' l = MonadicFold $ \f (c,s) ->
-    coerce $ runMonadicFold l (dimap ((,) c) coerce f) s
+    phantom $ runMonadicFold l (dimap ((,) c) phantom f) s
   {-# INLINE second' #-}
 
 instance Choice (ReifiedMonadicFold m) where