diff --git a/patches/sop-core-0.5.0.0.patch b/patches/sop-core-0.5.0.0.patch
new file mode 100644
index 0000000000000000000000000000000000000000..84b1797737a987ee69a453e962d2a9c9be816aac
--- /dev/null
+++ b/patches/sop-core-0.5.0.0.patch
@@ -0,0 +1,22 @@
+diff --git a/src/Data/SOP/Sing.hs b/src/Data/SOP/Sing.hs
+index c805608..d1bffe6 100644
+--- a/src/Data/SOP/Sing.hs
++++ b/src/Data/SOP/Sing.hs
+@@ -93,7 +93,7 @@ deriving instance Eq   (Shape xs)
+ deriving instance Ord  (Shape xs)
+ 
+ -- | The shape of a type-level list.
+-shape :: forall (xs :: [k]). SListI xs => Shape xs
++shape :: forall k (xs :: [k]). SListI xs => Shape xs
+ shape = case sList :: SList xs of
+           SNil  -> ShapeNil
+           SCons -> ShapeCons shape
+@@ -102,7 +102,7 @@ shape = case sList :: SList xs of
+ --
+ -- @since 0.2
+ --
+-lengthSList :: forall (xs :: [k]) proxy. SListI xs => proxy xs -> Int
++lengthSList :: forall k (xs :: [k]) proxy. SListI xs => proxy xs -> Int
+ lengthSList _ = lengthShape (shape :: Shape xs)
+   where
+     lengthShape :: forall xs'. Shape xs' -> Int