diff --git a/manifest.dhall b/manifest.dhall
index 04e00bf55bf1bf70dcfc0dc42530d7d25ed970f8..103acd7d9b8d61973df5076d0532b3fad4dec092 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -142,6 +142,7 @@ in  [ callHackage "Cabal" "3.8.1.0"
     , callHackage "cborg-json" "0.2.5.0"
     , callHackage "cereal" "0.5.8.3"
     , callHackage "charset" "0.3.9"
+    , callHackage "checkers" "0.6.0"
     , callHackage "citeproc" "0.8.0.1"
     , callHackage "clock" "0.8.3"
     , callHackage "cmdargs" "0.10.21"
diff --git a/overlay.nix b/overlay.nix
index 9c805c836bebeb04d9ec74e1990f0f02f62e4869..3d3814b0f7f27c53ce237228420867e718b32ff3 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -169,6 +169,8 @@ self: with pkgs.haskell.lib; {
 
   charset = self.callPackage (./pkgs/charset.nix) { };
 
+  checkers = self.callPackage (./pkgs/checkers.nix) { };
+
   citeproc = self.callPackage (./pkgs/citeproc.nix) { };
 
   clock = self.callPackage (./pkgs/clock.nix) { };
diff --git a/pkgs/checkers.nix b/pkgs/checkers.nix
new file mode 100644
index 0000000000000000000000000000000000000000..02a59b77d7b51d03c396cc7a681d7e5e48d0a48b
--- /dev/null
+++ b/pkgs/checkers.nix
@@ -0,0 +1,34 @@
+{ mkDerivation
+, array
+, base
+, lib
+, QuickCheck
+, random
+, semigroupoids
+}:
+mkDerivation {
+  pname = "checkers";
+  version = "0.6.0";
+  sha256 = "c07cd3563ea251000f7ce41db2d38e3bf94c9dcf60943a5eecc83b3089d299e4";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    array
+    base
+    QuickCheck
+    random
+    semigroupoids
+  ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/haskell-checkers/checkers";
+  description = "Check properties on standard classes and data structures";
+  license = lib.licenses.bsd3;
+  broken = false;
+}