diff --git a/manifest.dhall b/manifest.dhall
index c9c0b346cf169e6a615a8a810f87973a29a1c05a..70045ef709c405ca64c78d207fe840ea8439abcf 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -217,6 +217,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "ghc-lib-parser-ex" "9.4.0.0"
     , callHackage "ghc-paths" "0.1.0.12"
     , callHackage "ghc-tcplugins-extra" "0.4.3"
+    , callHackage "ghc-typelits-natnormalise" "0.7.7"
     , callHackage "ghcid" "0.8.8"
     , callHackage "hackage-security" "0.6.2.2"
     , callHackage "hashable" "1.4.1.0"
diff --git a/overlay.nix b/overlay.nix
index 6d7452ae424f0864450cdaf6bc531f7b05cc731e..8ec48c96ca8fab1fb5963fb064707b0667ba5f22 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -229,6 +229,8 @@ final: prev: with pkgs.haskell.lib; {
 
     ghc-tcplugins-extra = prev.callPackage (./pkgs/ghc-tcplugins-extra.nix) { };
 
+    ghc-typelits-natnormalise = prev.callPackage (./pkgs/ghc-typelits-natnormalise.nix) { };
+
     ghcid = prev.callPackage (./pkgs/ghcid.nix) { };
 
     hackage-security = prev.callPackage (./pkgs/hackage-security.nix) { };
diff --git a/pkgs/ghc-typelits-natnormalise.nix b/pkgs/ghc-typelits-natnormalise.nix
new file mode 100644
index 0000000000000000000000000000000000000000..995febea01f08e2e705368d7d1b92e3714c85825
--- /dev/null
+++ b/pkgs/ghc-typelits-natnormalise.nix
@@ -0,0 +1,22 @@
+{ mkDerivation, base, containers, ghc, ghc-bignum, ghc-prim
+, ghc-tcplugins-extra, lib, tasty, tasty-hunit, template-haskell
+, transformers
+}:
+mkDerivation {
+  pname = "ghc-typelits-natnormalise";
+  version = "0.7.7";
+  sha256 = "90ea374a1d58c1cd6cd3fb156f99873aae90bfb419279ca178372f2287d7175f";
+  libraryHaskellDepends = [
+    base containers ghc ghc-bignum ghc-tcplugins-extra transformers
+  ];
+  testHaskellDepends = [
+    base ghc-prim tasty tasty-hunit template-haskell
+  ];
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  hyperlinkSource = false;
+  homepage = "http://www.clash-lang.org/";
+  description = "GHC typechecker plugin for types of kind GHC.TypeLits.Nat";
+  license = lib.licenses.bsd2;
+}
\ No newline at end of file