diff --git a/horizon.dhall b/horizon.dhall
index f48f0807a22d9f9c2b6a250d107d252fd29de6e8..2e61629344d9b55bb8fa747677b6b08ec91093c6 100644
--- a/horizon.dhall
+++ b/horizon.dhall
@@ -636,7 +636,6 @@ let packages =
       , infer-license = H.callHackage "infer-license" "0.2.0"
       , ini = H.callHackage "ini" "0.4.2"
       , inline-c = H.callHackage "inline-c" "0.9.1.6"
-      , inline-r = H.callHackage "inline-r" "1.0.0"
       , insert-ordered-containers =
           H.callHackage "insert-ordered-containers" "0.2.5.1"
       , inspection-testing = H.callHackage "inspection-testing" "0.5.0.1"
@@ -777,11 +776,6 @@ let packages =
       , mono-traversable = H.callHackage "mono-traversable" "1.0.15.3"
       , monoid-extras = H.callHackage "monoid-extras" "0.6.2"
       , monoid-subclasses = H.callHackage "monoid-subclasses" "1.2.2"
-      , monoidal-containers =
-          H.callGit
-            "https://github.com/locallycompact/monoidal-containers"
-            "977140aed7f850ca4e73090475b0f7ff02a7a92e"
-            (None H.Subdir)
       , mtl-compat = H.callHackage "mtl-compat" "0.2.2"
       , mtl-prelude = H.callHackage "mtl-prelude" "2.0.3.1"
       , multiset = H.callHackage "multiset" "0.3.4.3"
@@ -927,7 +921,6 @@ let packages =
       , quickcheck-classes = H.callHackage "quickcheck-classes" "0.6.5.0"
       , quickcheck-classes-base =
           H.callHackage "quickcheck-classes-base" "0.6.2.0"
-      , quickcheck-dynamic = H.callHackage "quickcheck-dynamic" "3.0.2"
       , quickcheck-instances = H.callHackage "quickcheck-instances" "0.3.29.1"
       , quickcheck-io = H.callHackage "quickcheck-io" "0.2.0"
       , quickcheck-text = H.callHackage "quickcheck-text" "0.1.2.1"
@@ -1027,7 +1020,6 @@ let packages =
       , servant-multipart = H.callHackage "servant-multipart" "0.12.1"
       , servant-multipart-api = H.callHackage "servant-multipart-api" "0.12.1"
       , servant-openapi3 = H.callHackage "servant-openapi3" "2.0.1.6"
-      , servant-polysemy = H.callHackage "servant-polysemy" "0.1.4"
       , servant-server =
           H.callGit
             "https://github.com/TeofilC/servant"
@@ -1053,7 +1045,7 @@ let packages =
       , simple-sendfile = H.callHackage "simple-sendfile" "0.2.30"
       , singleton-bool = H.callHackage "singleton-bool" "0.1.6"
       , singletons = H.callHackage "singletons" "3.0.2"
-      , singletons-th = H.callHackage "singletons-th" "3.2"
+      , singletons-th = H.callHackage "singletons-th" "3.1.1"
       , size-based = H.callHackage "size-based" "0.1.3.1"
       , skylighting = H.callHackage "skylighting" "0.13.2.1"
       , skylighting-core = H.callHackage "skylighting-core" "0.13.2.1"
@@ -1202,7 +1194,7 @@ let packages =
       , transformers-base = H.callHackage "transformers-base" "0.4.6"
       , transformers-compat = H.callHackage "transformers-compat" "0.7.2"
       , transformers-except = H.callHackage "transformers-except" "0.1.3"
-      , tree-diff = H.callHackage "tree-diff" "0.3"
+      , tree-diff = H.callHackage "tree-diff" "0.2.2"
       , trifecta = H.callHackage "trifecta" "2.1.2"
       , tuple = H.callHackage "tuple" "0.3.0.2"
       , turtle = H.callHackage "turtle" "1.6.1"
diff --git a/initial-packages.nix b/initial-packages.nix
index 686f27c83a077009fd27b4a217b039b0d6eae66e..241e13e1e82d8cf8c9c5a4675d81745a4689954a 100644
--- a/initial-packages.nix
+++ b/initial-packages.nix
@@ -1003,8 +1003,6 @@ self: with pkgs.haskell.lib; {
 
   inline-c = self.callPackage (./pkgs/inline-c.nix) { };
 
-  inline-r = self.callPackage (./pkgs/inline-r.nix) { };
-
   insert-ordered-containers = self.callPackage (./pkgs/insert-ordered-containers.nix) { };
 
   inspection-testing = self.callPackage (./pkgs/inspection-testing.nix) { };
@@ -1231,8 +1229,6 @@ self: with pkgs.haskell.lib; {
 
   monoid-subclasses = self.callPackage (./pkgs/monoid-subclasses.nix) { };
 
-  monoidal-containers = self.callPackage (./pkgs/monoidal-containers.nix) { };
-
   mtl-compat = self.callPackage (./pkgs/mtl-compat.nix) { };
 
   mtl-prelude = self.callPackage (./pkgs/mtl-prelude.nix) { };
@@ -1489,8 +1485,6 @@ self: with pkgs.haskell.lib; {
 
   quickcheck-classes-base = self.callPackage (./pkgs/quickcheck-classes-base.nix) { };
 
-  quickcheck-dynamic = self.callPackage (./pkgs/quickcheck-dynamic.nix) { };
-
   quickcheck-instances = self.callPackage (./pkgs/quickcheck-instances.nix) { };
 
   quickcheck-io = self.callPackage (./pkgs/quickcheck-io.nix) { };
@@ -1645,8 +1639,6 @@ self: with pkgs.haskell.lib; {
 
   servant-openapi3 = self.callPackage (./pkgs/servant-openapi3.nix) { };
 
-  servant-polysemy = self.callPackage (./pkgs/servant-polysemy.nix) { };
-
   servant-server = self.callPackage (./pkgs/servant-server.nix) { };
 
   servant-static-th = self.callPackage (./pkgs/servant-static-th.nix) { };
diff --git a/pkgs/singletons-th.nix b/pkgs/singletons-th.nix
index 027f6297a9be8a263a76ac7d91dde5a545fe33d3..54cac0d40d4a24e06c752875e8bf306000a0c04d 100644
--- a/pkgs/singletons-th.nix
+++ b/pkgs/singletons-th.nix
@@ -3,8 +3,8 @@
 }:
 mkDerivation {
   pname = "singletons-th";
-  version = "3.2";
-  sha256 = "775e084f4304e9aba82642da37d3e9111dade2eff2603538a70661ce134c95e4";
+  version = "3.1.1";
+  sha256 = "466b91be35ee07bc06f5bf01d15f4bd9dc99a1151deb09ee114d99b9e052e9ae";
   isLibrary = true;
   isExecutable = false;
   enableSeparateDataOutput = false;
diff --git a/pkgs/tree-diff.nix b/pkgs/tree-diff.nix
index 3701961bc14e72ef8a340b85007092b8c8f1f6bb..1c3be17ec32787cb63932093b73d8ad2d456c839 100644
--- a/pkgs/tree-diff.nix
+++ b/pkgs/tree-diff.nix
@@ -7,8 +7,8 @@
 }:
 mkDerivation {
   pname = "tree-diff";
-  version = "0.3";
-  sha256 = "a1c05636cedf521bc2e2898f0668fc7264f3396f5484be6ec6a8b9b2e5c11c8b";
+  version = "0.2.2";
+  sha256 = "008390239dd942095b487b4a59e54faf18d51db5a4462177f301b763c0d5743c";
   isLibrary = true;
   isExecutable = false;
   enableSeparateDataOutput = false;
@@ -21,7 +21,6 @@ mkDerivation {
   testHaskellDepends = [
     ansi-terminal ansi-wl-pprint base base-compat parsec primitive
     QuickCheck tagged tasty tasty-golden tasty-quickcheck trifecta
-    unordered-containers
   ];
   benchmarkHaskellDepends = [ base criterion deepseq Diff ];
   enableLibraryProfiling = true;