From e0e0ab82377344818234227cfce4517b8bc06ae1 Mon Sep 17 00:00:00 2001
From: "restyled-io[bot]" <32688539+restyled-io[bot]@users.noreply.github.com>
Date: Wed, 24 Apr 2024 19:21:24 -0500
Subject: [PATCH] Restyled by fourmolu (#1803)

Co-authored-by: Restyled.io <commits@restyled.io>
---
 src/swarm-lang/Swarm/Effect/Unify/Fast.hs | 38 ++++++++++++-----------
 1 file changed, 20 insertions(+), 18 deletions(-)

diff --git a/src/swarm-lang/Swarm/Effect/Unify/Fast.hs b/src/swarm-lang/Swarm/Effect/Unify/Fast.hs
index b5c893a59..ba6b2236c 100644
--- a/src/swarm-lang/Swarm/Effect/Unify/Fast.hs
+++ b/src/swarm-lang/Swarm/Effect/Unify/Fast.hs
@@ -31,10 +31,10 @@ import Data.Function (on)
 import Data.Map qualified as M
 import Data.Map.Merge.Lazy qualified as M
 import Data.Set qualified as S
-import Prelude hiding (lookup)
 import Swarm.Effect.Unify
 import Swarm.Effect.Unify.Common
 import Swarm.Language.Types hiding (Type)
+import Prelude hiding (lookup)
 
 ------------------------------------------------------------
 -- Substitutions
@@ -70,22 +70,22 @@ class Substitutes n b a where
 --   over a structure functor @f@.
 instance Substitutes IntVar UType UType where
   subst s f = go S.empty f
-    where
-      go seen (Pure x) = case lookup x s of
-        Nothing -> pure $ Pure x
-        Just t
-          | S.member x seen -> throwError $ Infinite x t
-          | otherwise -> go (S.insert x seen) t
-      go seen (Free t) = Free <$> goF seen t
-
-      goF _ t@(TyBaseF {}) = pure t
-      goF _ t@(TyVarF {}) = pure t
-      goF seen (TySumF t1 t2) = TySumF <$> go seen t1 <*> go seen t2
-      goF seen (TyProdF t1 t2) = TyProdF <$> go seen t1 <*> go seen t2
-      goF seen (TyRcdF m) = TyRcdF <$> mapM (go seen) m
-      goF seen (TyCmdF c) = TyCmdF <$> go seen c
-      goF seen (TyDelayF c) = TyDelayF <$> go seen c
-      goF seen (TyFunF t1 t2) = TyFunF <$> go seen t1 <*> go seen t2
+   where
+    go seen (Pure x) = case lookup x s of
+      Nothing -> pure $ Pure x
+      Just t
+        | S.member x seen -> throwError $ Infinite x t
+        | otherwise -> go (S.insert x seen) t
+    go seen (Free t) = Free <$> goF seen t
+
+    goF _ t@(TyBaseF {}) = pure t
+    goF _ t@(TyVarF {}) = pure t
+    goF seen (TySumF t1 t2) = TySumF <$> go seen t1 <*> go seen t2
+    goF seen (TyProdF t1 t2) = TyProdF <$> go seen t1 <*> go seen t2
+    goF seen (TyRcdF m) = TyRcdF <$> mapM (go seen) m
+    goF seen (TyCmdF c) = TyCmdF <$> go seen c
+    goF seen (TyDelayF c) = TyDelayF <$> go seen c
+    goF seen (TyFunF t1 t2) = TyFunF <$> go seen t1 <*> go seen t2
 
 ------------------------------------------------------------
 -- Carrier type
@@ -178,7 +178,9 @@ unifyVar ::
   ( Has (Throw UnificationError) sig m
   , Has (State (Subst IntVar UType)) sig m
   ) =>
-  IntVar -> UType -> m UType
+  IntVar ->
+  UType ->
+  m UType
 unifyVar x (Pure y) = do
   myv <- lookupS y
   case myv of