diff --git a/pkgs/development/libraries/haskell/control-monad-free/default.nix b/pkgs/development/libraries/haskell/control-monad-free/default.nix
new file mode 100644
index 000000000000..93fed5fae060
--- /dev/null
+++ b/pkgs/development/libraries/haskell/control-monad-free/default.nix
@@ -0,0 +1,14 @@
+{ cabal, deepseq, transformers }:
+
+cabal.mkDerivation (self: {
+  pname = "control-monad-free";
+  version = "0.5.3";
+  sha256 = "1igwawcdpg8irayjax1xdrlpa9587k1v4y28ib3xfb7yk0xv7vk1";
+  buildDepends = [ deepseq transformers ];
+  meta = {
+    homepage = "http://github.com/pepeiborra/control-monad-free";
+    description = "Free monads and monad transformers";
+    license = self.stdenv.lib.licenses.publicDomain;
+    platforms = self.ghc.meta.platforms;
+  };
+})
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index 0559c42315bb..4144fb0701ff 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -818,6 +818,8 @@ let result = let callPackage = x : y : modifyPrio (newScope result.finalReturn x
 
   constraints = callPackage ../development/libraries/haskell/constraints {};
 
+  controlMonadFree = callPackage ../development/libraries/haskell/control-monad-free {};
+
   controlMonadLoop = callPackage ../development/libraries/haskell/control-monad-loop {};
 
   convertible = callPackage ../development/libraries/haskell/convertible {};