diff --git a/patches/hgeometry-combinatorial-0.13.patch b/patches/hgeometry-combinatorial-0.13.patch
index deb188a7e22b7e7093ba0e34a829df5d30f32bff..b57bb2d27746f4cd20063c02668df6396a85b485 100644
--- a/patches/hgeometry-combinatorial-0.13.patch
+++ b/patches/hgeometry-combinatorial-0.13.patch
@@ -1,5 +1,5 @@
 diff --git a/src/Data/LSeq.hs b/src/Data/LSeq.hs
-index 1912cb2..90eadef 100644
+index 1912cb2d..00a7d6f6 100644
 --- a/src/Data/LSeq.hs
 +++ b/src/Data/LSeq.hs
 @@ -1,5 +1,6 @@
@@ -9,3 +9,21 @@ index 1912cb2..90eadef 100644
  --------------------------------------------------------------------------------
  -- |
  -- Module      :  Data.LSeq
+@@ -260,7 +261,7 @@ data ViewL n a where
+ infixr 5 :<
+ 
+ instance Semigroup (ViewL n a) where
+-  (x :< xs) <> (y :< ys) = x :< LSeq (toSeq xs <> (y S.<| toSeq ys))
++  ((:<) @_ @m x xs) <> (y :< ys) = (:<) @_ @m x (LSeq (toSeq xs <> (y S.<| toSeq ys)))
+ 
+ deriving instance Show a => Show (ViewL n a)
+ instance Functor (ViewL n) where
+@@ -328,7 +329,7 @@ data ViewR n a where
+ infixl 5 :>
+ 
+ instance Semigroup (ViewR n a) where
+-  (xs :> x) <> (ys :> y) = LSeq ((toSeq xs S.|> x) <> toSeq ys) :> y
++  ((:>) @m xs x) <> (ys :> y) = (:>) @m (LSeq ((toSeq xs S.|> x) <> toSeq ys)) y
+ 
+ deriving instance Show a => Show (ViewR n a)
+ instance Functor (ViewR n) where