Update lambda-pi

haskell/lambda-pi/src/Language/LambdaPi/Impl/FreeFoilTH.hs

@@ -49,7 +49,7 @@ import qualified Language.LambdaPi.Syntax.Lex    as Raw
 import qualified Language.LambdaPi.Syntax.Par    as Raw
 import qualified Language.LambdaPi.Syntax.Print  as Raw
 import           System.Exit                     (exitFailure)
-import Control.Monad.Free.Foil.Generic (genericZipMatch2)
+import Control.Monad.Free.Foil.Generic
 import Generics.Kind.TH (deriveGenericK)
 import qualified GHC.Generics as GHC
 
@@ -89,9 +89,20 @@ instance Foil.UnifiableInPattern Raw.BNFC'Position where
   unifyInPattern _ _  = True
 deriveUnifiablePattern ''Raw.VarIdent ''Raw.Pattern'
 
+-- | Deriving 'GHC.Generic' and 'GenericK' instances.
 deriving instance GHC.Generic (Term'Sig a scope term)
 deriveGenericK ''Term'Sig
-instance ZipMatch (Term'Sig a) where
+
+-- -- | Match 'Raw.Ident' via 'Eq'.
+-- instance ZipMatchK Raw.Ident where zipMatchWithK = zipMatchViaEq
+
+-- | Ignore 'Raw.BNFC'Position' when matching terms.
+instance ZipMatchK Raw.BNFC'Position where zipMatchWithK = zipMatchViaChooseLeft
+
+-- | Generic 'ZipMatchK' instance.
+instance ZipMatchK a => ZipMatchK (Term'Sig a)
+
+instance ZipMatchK a => ZipMatch (Term'Sig a) where
   zipMatch = genericZipMatch2
 
 -- * User-defined code