diff --git a/manifest.dhall b/manifest.dhall
index 45e8ca06ecc166359d219401cefc04a26ac410ba..f6c9c7ed0ecbaeb897c40bf75796ceb988e6317e 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -314,6 +314,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "invariant" "0.6"
     , callHackage "ipynb" "0.2"
     , callHackage "iproute" "1.7.12"
+    , callHackage "kan-extensions" "5.2.5"
     , callCabal2nix
         "kvstore-effectful"
         "https://github.com/haskell-effectful/kvstore-effectful"
diff --git a/overlay.nix b/overlay.nix
index a3d3029b03b5c52889abeb444d1a6333ccb0778f..2d0e2029974d78bab2d2d2279f2df099c998cf1a 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -397,6 +397,8 @@ final: prev: with pkgs.haskell.lib; {
 
   ipynb = prev.callPackage (./pkgs/ipynb.nix) { };
 
+  kan-extensions = prev.callPackage (./pkgs/kan-extensions.nix) { };
+
   kvstore-effectful = prev.callPackage (./pkgs/kvstore-effectful.nix) { };
 
   kvstore-effectful-cache = prev.callPackage (./pkgs/kvstore-effectful-cache.nix) { };
diff --git a/pkgs/kan-extensions.nix b/pkgs/kan-extensions.nix
new file mode 100644
index 0000000000000000000000000000000000000000..b71e20f48dc98be5ae71d4048e0f8098160dc04b
--- /dev/null
+++ b/pkgs/kan-extensions.nix
@@ -0,0 +1,54 @@
+{ mkDerivation
+, adjunctions
+, array
+, base
+, comonad
+, containers
+, contravariant
+, distributive
+, free
+, invariant
+, lib
+, mtl
+, profunctors
+, semigroupoids
+, tagged
+, transformers
+, transformers-compat
+}:
+mkDerivation {
+  pname = "kan-extensions";
+  version = "5.2.5";
+  sha256 = "b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    adjunctions
+    array
+    base
+    comonad
+    containers
+    contravariant
+    distributive
+    free
+    invariant
+    mtl
+    profunctors
+    semigroupoids
+    tagged
+    transformers
+    transformers-compat
+  ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "http://github.com/ekmett/kan-extensions/";
+  description = "Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads";
+  license = lib.licenses.bsd3;
+  broken = false;
+}