diff --git a/Data/Functor/Contravariant.hs b/Data/Functor/Contravariant.hs
--- a/Data/Functor/Contravariant.hs
+++ b/Data/Functor/Contravariant.hs
@@ -1,6 +1,7 @@
 module Data.Functor.Contravariant where
 
 import Prelude hiding (Functor, (.), id)
+import qualified Prelude as Base
 
 import Control.Applicative
 import Control.Applicative.Backwards
@@ -64,3 +65,6 @@
 instance (Semigroup a, Monoid a) => Monoid (Op2 a b) where
     mempty = Op2 ((pure . pure) mempty)
     mappend = (<>)
+
+phantom :: (Base.Functor f, Functor f) => f a -> f b
+phantom = (() >$) . (() <$)
diff --git a/hs-functors.cabal b/hs-functors.cabal
--- a/hs-functors.cabal
+++ b/hs-functors.cabal
@@ -1,5 +1,5 @@
 name:                hs-functors
-version:             0.1.5.0
+version:             0.1.6.0
 synopsis:            Functors from products of Haskell and its dual to Haskell
 -- description:         
 license:             BSD3