diff --git a/src/Utils/TH/AlphaConversion.hs b/src/Utils/TH/AlphaConversion.hs
index c3e792ec9..d092a7d6e 100644
--- a/src/Utils/TH/AlphaConversion.hs
+++ b/src/Utils/TH/AlphaConversion.hs
@@ -1,4 +1,4 @@
--- SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>
+-- SPDX-FileCopyrightText: 2022-2024 Stephan Barth <stephan.barth@uniworx.de>, Gregor Kleen <gregor.kleen@ifi.lmu.de>
 --
 -- SPDX-License-Identifier: AGPL-3.0-or-later
 
@@ -31,6 +31,7 @@ alphaConvE ns = alphaConvE' Set.empty
       ParensE e -> ParensE $ alphaConvE' bound e
       LamE ps e -> LamE ps $ alphaConvE' (bound `Set.union` foldMap pVars ps) e
       LamCaseE _ -> error "alphaConvE: LamCaseE not implemented"
+      LamCasesE _ -> error "alphaConvE: LamCasesE not implemented"
       TupE es -> TupE $ over (traverse . _Just) (alphaConvE' bound) es
       UnboxedTupE es -> UnboxedTupE $ over (traverse . _Just) (alphaConvE' bound) es
       UnboxedSumE e sAlt sAry -> UnboxedSumE (alphaConvE' bound e) sAlt sAry
@@ -38,9 +39,11 @@ alphaConvE ns = alphaConvE' Set.empty
       MultiIfE _ -> error "alphaConvE: MultiIfE not implemented"
       LetE _ _ -> error "alphaConvE: LetE not implemented"
       CaseE _ _ -> error "alphaConvE: CaseE not implemented"
-      DoE _ -> error "alphaConvE: DoE not implemented"
-      MDoE _ -> error "alphaConvE: MDoE not implemented"
+      DoE _ _ -> error "alphaConvE: DoE not implemented"
+      MDoE _ _ -> error "alphaConvE: MDoE not implemented"
       CompE _ -> error "alphaConvE: CompE not implemented"
+      GetFieldE _ _     -> error "alphaConvE: GetFieldE not implemented"
+      ProjectionE _     -> error "alphaConvE: ProjectionE not implemented"
       ArithSeqE (FromR e) -> ArithSeqE . FromR $ alphaConvE' bound e
       ArithSeqE (FromThenR e1 e2) -> ArithSeqE $ FromThenR (alphaConvE' bound e1) (alphaConvE' bound e2)
       ArithSeqE (FromToR e1 e2) -> ArithSeqE $ FromToR (alphaConvE' bound e1) (alphaConvE' bound e2)
@@ -61,7 +64,7 @@ pVars = \case
   TupP ps           -> foldMap pVars ps
   UnboxedTupP ps    -> foldMap pVars ps
   UnboxedSumP p _ _ -> pVars p
-  ConP _ ps         -> foldMap pVars ps
+  ConP _ _ ps       -> foldMap pVars ps
   InfixP p1 _ p2    -> pVars p1 `Set.union` pVars p2
   UInfixP p1 _ p2   -> pVars p1 `Set.union` pVars p2
   ParensP p         -> pVars p