diff --git a/pkgs/development/libraries/haskell/hspec-laws/default.nix b/pkgs/development/libraries/haskell/hspec-laws/default.nix
new file mode 100644
index 000000000000..b7b2a57d5342
--- /dev/null
+++ b/pkgs/development/libraries/haskell/hspec-laws/default.nix
@@ -0,0 +1,17 @@
+# This file was auto-generated by cabal2nix. Please do NOT edit manually!
+
+{ cabal, hspec, markdownUnlit, QuickCheck }:
+
+cabal.mkDerivation (self: {
+  pname = "hspec-laws";
+  version = "0.0.0";
+  sha256 = "15mcspn20znjxjsjqivrfvpndjd2i3kic5nyij13lfwyd3p2al0j";
+  buildDepends = [ hspec QuickCheck ];
+  testDepends = [ hspec markdownUnlit QuickCheck ];
+  meta = {
+    description = "Document and test laws for standard type classes";
+    license = self.stdenv.lib.licenses.mit;
+    platforms = self.ghc.meta.platforms;
+    maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
+  };
+})
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index ee8a780fc3d1..86f5732c39ea 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -1342,6 +1342,8 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
 
   hspecDiscover = callPackage ../development/libraries/haskell/hspec-discover {};
 
+  hspecLaws = callPackage ../development/libraries/haskell/hspec-laws {};
+
   hstatsd = callPackage ../development/libraries/haskell/hstatsd {};
 
   hsyslog = callPackage ../development/libraries/haskell/hsyslog {};