diff --git a/.travis.yml b/.travis.yml
new file mode 100644
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,1 @@
+language: haskell
diff --git a/Data/Functor/KanExtension.hs b/Data/Functor/KanExtension.hs
--- a/Data/Functor/KanExtension.hs
+++ b/Data/Functor/KanExtension.hs
@@ -15,6 +15,7 @@
 import Data.Functor.Identity
 import Data.Functor.Adjunction
 import Data.Functor.Composition
+import Control.Applicative
 
 newtype Ran g h a = Ran { runRan :: forall b. (a -> g b) -> h b }
 
@@ -58,6 +59,11 @@
 
 instance Functor (Lan f g) where
   fmap f (Lan g h) = Lan (f . g) h
+
+instance (Functor g, Applicative h) => Applicative (Lan g h) where
+  pure a = Lan (const a) (pure ())
+  Lan kxf x <*> Lan kya y =
+    Lan (\k -> kxf (fmap fst k) (kya (fmap snd k))) (liftA2 (,) x y)
 
 adjointToLan :: Adjunction f g => g a -> Lan f Identity a
 adjointToLan = Lan counit . Identity
diff --git a/kan-extensions.cabal b/kan-extensions.cabal
--- a/kan-extensions.cabal
+++ b/kan-extensions.cabal
@@ -1,6 +1,6 @@
 name:          kan-extensions
 category:      Data Structures, Monads, Comonads, Functors
-version:       2.4.0.1
+version:       2.5
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -8,10 +8,13 @@
 maintainer:    Edward A. Kmett <ekmett@gmail.com>
 stability:     provisional
 homepage:      http://github.com/ekmett/kan-extensions/
+bug-reports:   http://github.com/ekmett/kan-extensions/issues
 copyright:     Copyright (C) 2011 Edward A. Kmett
 synopsis:      Kan extensions, the Yoneda lemma, and (co)density (co)monads
 description:   Kan extensions, the Yoneda lemma, and (co)density (co)monads
 build-type:    Simple
+
+extra-source-files: .travis.yml
 
 source-repository head
   type: git