diff --git a/manifest.dhall b/manifest.dhall
index 2c023d93f720a5733525ebcfa8af5ff417707e83..03e68fa60185b28e07a945fa50aff4f47c3a7fb9 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -200,6 +200,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "fcf-containers" "0.7.1"
     , callHackage "finite-field" "0.10.0"
     , callHackage "first-class-families" "0.8.0.1"
+    , callHackage "fin" "0.2.1"
     , callHackage "free" "5.1.9"
     , callHackage "fsnotify" "0.4.1.0"
     , callHackage "foldl" "1.4.12"
diff --git a/overlay.nix b/overlay.nix
index a975339194f5fb274d9a7f919d5676ee8bd91f42..cf1592a84837a123c1247003f897ddbf5e45d95c 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -199,6 +199,8 @@ final: prev: with pkgs.haskell.lib; {
 
   fcf-containers = prev.callPackage (./pkgs/fcf-containers.nix) { };
 
+  fin = prev.callPackage (./pkgs/fin.nix) { };
+
   finite-field = prev.callPackage (./pkgs/finite-field.nix) { };
 
   first-class-families = prev.callPackage (./pkgs/first-class-families.nix) { };
diff --git a/pkgs/fin.nix b/pkgs/fin.nix
new file mode 100644
index 0000000000000000000000000000000000000000..dbb4fc07183d98e52fd95c3f5688f3236c8c9a08
--- /dev/null
+++ b/pkgs/fin.nix
@@ -0,0 +1,45 @@
+{ mkDerivation
+, base
+, boring
+, dec
+, deepseq
+, hashable
+, inspection-testing
+, lib
+, QuickCheck
+, some
+, tagged
+, universe-base
+}:
+mkDerivation {
+  pname = "fin";
+  version = "0.2.1";
+  sha256 = "3bd36e39865f355f943bb82e4fd7ff1af8d310b8166cd4b53d2516e3c2b5f393";
+  revision = "1";
+  editedCabalFile = "0qk48l13k8xr0qcs4nr5mpr5y84s8apdm5wlqldjdl9l3qbp58aw";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    base
+    boring
+    dec
+    deepseq
+    hashable
+    QuickCheck
+    some
+    universe-base
+  ];
+  testHaskellDepends = [ base inspection-testing tagged ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/phadej/vec";
+  description = "Nat and Fin: peano naturals and finite numbers";
+  license = lib.licenses.bsd3;
+  broken = false;
+}