diff --git a/manifest.dhall b/manifest.dhall
index b0c6d856c5507d855541d71c3453c6c305a80548..405108dd269c839b9fbba0ee0b025c8ffcf0df4c 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -451,6 +451,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "network" "3.1.2.7"
     , callHackage "newtype-generics" "0.6.2"
     , callHackage "nothunks" "0.1.3"
+    , callHackage "numtype-dk" "0.5.0.3"
     , callCabal2nix
         "odd-jobs"
         "https://github.com/saurabhnanda/odd-jobs"
diff --git a/overlay.nix b/overlay.nix
index a0c786313773412d1865de19a256727833206947..14d33aa3c026f8d5a693d0af20be58bb31bd0d9f 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -651,6 +651,8 @@ self: with pkgs.haskell.lib; {
 
   nothunks = self.callPackage (./pkgs/nothunks.nix) { };
 
+  numtype-dk = self.callPackage (./pkgs/numtype-dk.nix) { };
+
   odd-jobs = self.callPackage (./pkgs/odd-jobs.nix) { };
 
   old-locale = self.callPackage (./pkgs/old-locale.nix) { };
diff --git a/pkgs/numtype-dk.nix b/pkgs/numtype-dk.nix
new file mode 100644
index 0000000000000000000000000000000000000000..2e530d6ae4284e481d1890b5b2ebcf3158c19e5f
--- /dev/null
+++ b/pkgs/numtype-dk.nix
@@ -0,0 +1,21 @@
+{ mkDerivation, base, lib }:
+mkDerivation {
+  pname = "numtype-dk";
+  version = "0.5.0.3";
+  sha256 = "f49351544dfc7920df46d24f3734f116f32ded5add7bb950b0e00e2a10c7bd9e";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [ base ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/bjornbm/numtype-dk";
+  description = "Type-level integers, using TypeNats, Data Kinds, and Closed Type Families";
+  license = lib.licenses.bsd3;
+  broken = false;
+}