From 824b19123ebafaa052e759129959cbcb999d903c Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 25 Nov 2023 23:08:05 -0800
Subject: [PATCH] Fix a bug in unification (lol)

---
 src/Bergamot/Syntax.elm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Bergamot/Syntax.elm b/src/Bergamot/Syntax.elm
index a17f5c8..f09f8b4 100644
--- a/src/Bergamot/Syntax.elm
+++ b/src/Bergamot/Syntax.elm
@@ -65,7 +65,7 @@ unifyList l1 l2 us =
     case (l1, l2) of
         (t1 :: ts1, t2 :: ts2) ->
             unify t1 t2 us
-            |> Maybe.andThen (\(t, usp) -> unifyList ts1 ts2 usp)
+            |> Maybe.andThen (\(t, usp) -> Maybe.map (Tuple.mapFirst (\ts -> t :: ts)) (unifyList ts1 ts2 usp))
         ([], []) -> Just ([], us)
         _ -> Nothing