diff --git a/horizon.dhall b/horizon.dhall
index 998d5938aebc532d2a2188bf1a68d61b5cc95c1f..f48f0807a22d9f9c2b6a250d107d252fd29de6e8 100644
--- a/horizon.dhall
+++ b/horizon.dhall
@@ -988,7 +988,7 @@ let packages =
       , sdl2-ttf = H.callHackage "sdl2-ttf" "2.1.3"
       , selective = H.callHackage "selective" "0.7"
       , semialign = H.callHackage "semialign" "1.3"
-      , semigroupoids = H.callHackage "semigroupoids" "6.0.0.1"
+      , semigroupoids = H.callHackage "semigroupoids" "5.3.7"
       , semigroups = H.callHackage "semigroups" "0.20"
       , semirings = H.callHackage "semirings" "0.6"
       , semver = H.callHackage "semver" "0.4.0.1"
diff --git a/pkgs/semigroupoids.nix b/pkgs/semigroupoids.nix
index 4657c6a46217b016bbc177b1b9e76692a9b3c0ed..c704acf32e91db2f03ec58a751be3538c5999951 100644
--- a/pkgs/semigroupoids.nix
+++ b/pkgs/semigroupoids.nix
@@ -1,20 +1,21 @@
 { mkDerivation, base, base-orphans, bifunctors, comonad, containers
-, contravariant, distributive, foldable1-classes-compat, hashable
-, lib, tagged, template-haskell, transformers, transformers-compat
+, contravariant, distributive, hashable, lib, tagged
+, template-haskell, transformers, transformers-compat
 , unordered-containers
 }:
 mkDerivation {
   pname = "semigroupoids";
-  version = "6.0.0.1";
-  sha256 = "7da38a9891bdf8205fd6522cdb712956b8c0bf5c52983da60295c8e057d77934";
+  version = "5.3.7";
+  sha256 = "6d45cdb6c58c75ca588859b80b2c92b6f48590a03e065c24ce5d767a6a963799";
+  revision = "1";
+  editedCabalFile = "063xzbp4p93kbaygn26rzs4wmwf01mcj7d4qfsiwf39gd0wkf2dc";
   isLibrary = true;
   isExecutable = false;
   enableSeparateDataOutput = false;
   libraryHaskellDepends = [
     base base-orphans bifunctors comonad containers contravariant
-    distributive foldable1-classes-compat hashable tagged
-    template-haskell transformers transformers-compat
-    unordered-containers
+    distributive hashable tagged template-haskell transformers
+    transformers-compat unordered-containers
   ];
   enableLibraryProfiling = true;
   enableExecutableProfiling = true;