diff --git a/category-extras.cabal b/category-extras.cabal
--- a/category-extras.cabal
+++ b/category-extras.cabal
@@ -1,6 +1,6 @@
 name:          category-extras
 category:      Control, Monads, Comonads
-version:       0.53.4
+version:       0.53.5
 license:       BSD3
 cabal-version: >= 1.2
 license-file:  LICENSE
diff --git a/src/Control/Functor/Combinators/Lift.hs b/src/Control/Functor/Combinators/Lift.hs
--- a/src/Control/Functor/Combinators/Lift.hs
+++ b/src/Control/Functor/Combinators/Lift.hs
@@ -20,6 +20,7 @@
 	, Ap, runAp, mkAp
 	) where
 
+import Control.Applicative
 import Control.Category.Hask
 import Control.Functor
 import Control.Functor.Contra
@@ -63,6 +64,10 @@
 
 instance (Pointed f, Pointed g) => Pointed (f :*: g) where
         point = Lift . (point &&& point)
+
+instance (Applicative f, Applicative g) => Applicative (f :*: g) where
+	pure b = Lift (pure b, pure b)
+	Lift (f,g) <*> Lift (a,b) = Lift (f <*> a, g <*> b)
 
 instance (Faithful f, Faithful g) => Faithful (f :*: g)