diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,12 @@
+4.1.1
+---
+* Added `Applicative` instance for `Day`
+* Added `Typeable` instance for `Codensity`
+
+4.1.0.1
+----
+* Added `tagged` dependency
+
 4.1
 ---
 * Moved co- and contra- variant `Day` convolution from `contravariant` to here. Day convolution is intimately connected to `Rift`.
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:       4.1.0.1
+version:       4.1.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
diff --git a/src/Control/Monad/Codensity.hs b/src/Control/Monad/Codensity.hs
--- a/src/Control/Monad/Codensity.hs
+++ b/src/Control/Monad/Codensity.hs
@@ -6,6 +6,10 @@
 #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 702
 {-# LANGUAGE Trustworthy #-}
 #endif
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
+{-# LANGUAGE DeriveDataTypeable #-}
+#endif
+
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.Codensity
@@ -38,6 +42,9 @@
 import Data.Functor.Kan.Ran
 import Data.Functor.Plus
 import Data.Functor.Rep
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
+import Data.Typeable
+#endif
 
 -- |
 -- @'Codensity' f@ is the Monad generated by taking the right Kan extension
@@ -53,6 +60,9 @@
 newtype Codensity m a = Codensity
   { runCodensity :: forall b. (a -> m b) -> m b
   }
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
+    deriving Typeable
+#endif
 
 instance Functor (Codensity k) where
   fmap f (Codensity m) = Codensity (\k -> m (k . f))
diff --git a/src/Data/Functor/Coyoneda.hs b/src/Data/Functor/Coyoneda.hs
--- a/src/Data/Functor/Coyoneda.hs
+++ b/src/Data/Functor/Coyoneda.hs
@@ -208,7 +208,7 @@
   counit = counit . fmap lowerCoyoneda . lowerCoyoneda
   {-# INLINE counit #-}
 
--- | Yoneda "expansion"
+-- | Yoneda \"expansion\"
 --
 -- @
 -- 'liftCoyoneda' . 'lowerCoyoneda' ≡ 'id'
diff --git a/src/Data/Functor/Day.hs b/src/Data/Functor/Day.hs
--- a/src/Data/Functor/Day.hs
+++ b/src/Data/Functor/Day.hs
@@ -77,6 +77,12 @@
 instance Functor (Day f g) where
   fmap f (Day fb gc bca) = Day fb gc $ \b c -> f (bca b c)
 
+instance (Applicative f, Applicative g) => Applicative (Day f g) where
+  pure x = Day (pure ()) (pure ()) (\_ _ -> x)
+  (Day fa fb u) <*> (Day gc gd v) =
+    Day ((,) <$> fa <*> gc) ((,) <$> fb <*> gd)
+        (\(a,c) (b,d) -> u a b (v c d))
+
 instance (Representable f, Representable g) => Distributive (Day f g) where
   distribute f = Day (tabulate id) (tabulate id) $ \x y -> fmap (\(Day m n o) -> o (index m x) (index n y)) f
 
diff --git a/src/Data/Functor/Kan/Ran.hs b/src/Data/Functor/Kan/Ran.hs
--- a/src/Data/Functor/Kan/Ran.hs
+++ b/src/Data/Functor/Kan/Ran.hs
@@ -67,17 +67,19 @@
 -- @
 -- ranIso1 :: Ran g f x -> Ran' g f x
 -- ranIso1 (Ran e) = Ran' e id
+-- @
 --
+-- @
 -- ranIso2 :: Ran' g f x -> Ran g f x
--- ranIso2 (Ran' h z) = Ran $ \k -> h (k <$> z)
+-- ranIso2 (Ran' h z) = Ran $ \\k -> h (k \<$\> z)
 -- @
 --
 -- @
 -- ranIso2 (ranIso1 (Ran e)) ≡ -- by definition
 -- ranIso2 (Ran' e id) ≡       -- by definition
--- Ran $ \k -> e (k <$> id)    -- by definition
--- Ran $ \k -> e (k . id)      -- f . id = f
--- Ran $ \k -> e k             -- eta reduction
+-- Ran $ \\k -> e (k \<$\> id)    -- by definition
+-- Ran $ \\k -> e (k . id)      -- f . id = f
+-- Ran $ \\k -> e k             -- eta reduction
 -- Ran e
 -- @
 --
diff --git a/src/Data/Functor/Kan/Rift.hs b/src/Data/Functor/Kan/Rift.hs
--- a/src/Data/Functor/Kan/Rift.hs
+++ b/src/Data/Functor/Kan/Rift.hs
@@ -54,7 +54,7 @@
 --
 -- @
 -- riftIso1 :: Functor g => UniversalRift g f a -> Rift g f a
--- riftIso1 (UniversalRift h z) = Rift $ \g -> h $ fmap (\k -> k <$> z) g
+-- riftIso1 (UniversalRift h z) = Rift $ \\g -> h $ fmap (\\k -> k \<$\> z) g
 -- @
 --
 -- @
@@ -65,9 +65,9 @@
 -- @
 -- riftIso1 (riftIso2 (Rift h)) =
 -- riftIso1 (UniversalRift h id) =          -- by definition
--- Rift $ \g -> h $ fmap (\k -> k <$> id) g -- by definition
--- Rift $ \g -> h $ fmap id g               -- <$> = (.) and (.id)
--- Rift $ \g -> h g                         -- by functor law
+-- Rift $ \\g -> h $ fmap (\\k -> k \<$\> id) g -- by definition
+-- Rift $ \\g -> h $ fmap id g               -- \<$\> = (.) and (.id)
+-- Rift $ \\g -> h g                         -- by functor law
 -- Rift h                                   -- eta reduction
 -- @
 --