Add bifunctors-5.5.8

patches/bifunctors-5.5.8.patch

+diff --git a/src/Data/Bifunctor/TH.hs b/src/Data/Bifunctor/TH.hs
+index 7e0b82c..f08df28 100644
+--- a/src/Data/Bifunctor/TH.hs
++++ b/src/Data/Bifunctor/TH.hs
+@@ -1236,7 +1236,7 @@ mkSimpleConMatch :: (Name -> [a] -> Q Exp)
+                  -> Q Match
+ mkSimpleConMatch fold conName insides = do
+   varsNeeded <- newNameList "_arg" $ length insides
+-  let pat = ConP conName (map VarP varsNeeded)
++  let pat = ConP conName [] (map VarP varsNeeded)
+   rhs <- fold conName (zipWith (\i v -> i $ VarE v) insides varsNeeded)
+   return $ Match pat (NormalB rhs) []
+ 
+@@ -1260,7 +1260,7 @@ mkSimpleConMatch2 :: (Exp -> [Exp] -> Q Exp)
+                   -> Q Match
+ mkSimpleConMatch2 fold conName insides = do
+   varsNeeded <- newNameList "_arg" lengthInsides
+-  let pat = ConP conName (map VarP varsNeeded)
++  let pat = ConP conName [] (map VarP varsNeeded)
+       -- Make sure to zip BEFORE invoking catMaybes. We want the variable
+       -- indicies in each expression to match up with the argument indices
+       -- in conExpr (defined below).