1 files changed, 6 insertions, 12 deletions
diff --git a/src/Language/Fiddle/Ast/Internal/Instances.hs b/src/Language/Fiddle/Ast/Internal/Instances.hs
index 3380ccd..232d5c0 100644
--- a/src/Language/Fiddle/Ast/Internal/Instances.hs
+++ b/src/Language/Fiddle/Ast/Internal/Instances.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE FunctionalDependencies #-}
-
 module Language.Fiddle.Ast.Internal.Instances
   ( module X,
     Alter (..),
@@ -7,18 +5,14 @@ module Language.Fiddle.Ast.Internal.Instances
     CompilationStage (..),
     Annotated (..),
     GAnnot (..),
-    TreeType (..),
+    TreeType,
   )
 where
 
 import Data.Functor.Identity
 import Data.Kind
-import Data.Type.Bool
-import Data.Type.Equality
 import Data.Typeable
 import GHC.Generics
-import GHC.TypeError as TypeError
-import GHC.TypeLits
 import Language.Fiddle.Ast.Internal.Instances.Walk as X
 import Language.Fiddle.Ast.Internal.Kinds
 import Language.Fiddle.Ast.Internal.Stage
@@ -312,7 +306,7 @@ instance
   (Traversable f1, Alter u) =>
   GAlter t f1 f2 a1 a2 (Rec0 (f1 (u f1 a1))) (Rec0 (f2 (u f2 a2)))
   where
-  galter proxy ffn fn k1 = do
+  galter _ ffn fn k1 = do
     newK <- mapM (alter ffn fn) (unK1 k1)
     K1 <$> ffn newK
 
@@ -419,7 +413,7 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (t' stage f a)) (Rec0 (t' stage' f a))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> advanceStage st val
+  gAdvanceStage _ st (K1 val) = K1 <$> advanceStage st val
 
 -- | 'GAdvanceStage' instance for record fields ('Rec0') containing a functor
 --   ('func') of AST elements ('t'). This handles cases where the field is a
@@ -438,7 +432,7 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (func (t' stage f a))) (Rec0 (func (t' stage' f a)))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> mapM (advanceStage st) val
+  gAdvanceStage _ st (K1 val) = K1 <$> mapM (advanceStage st) val
 
 -- | 'GAdvanceStage' instance for record fields ('Rec0') containing a
 --   functor ('f') wrapping an AST element. This handles cases where the field
@@ -456,14 +450,14 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (f (t' stage f a))) (Rec0 (f (t' stage' f a)))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> mapM (advanceStage st) val
+  gAdvanceStage _ st (K1 val) = K1 <$> mapM (advanceStage st) val
 
 -- | 'GAdvanceStage' instance for simple record fields ('Rec0') that do not
 --   need to change between stages. This is used for fields that are not AST
 --   nodes and remain the same when advancing the stage (e.g., primitive
 --   types like 'Int', 'Bool', etc.).
 instance (Monad m) => GAdvanceStage stage s m (Rec0 a) (Rec0 a) where
-  gAdvanceStage pxy _ (K1 val) = return (K1 val)
+  gAdvanceStage _ _ (K1 val) = return (K1 val)
 
 -- | 'GAdvanceStage' instance for records which can be converted to eathother
 -- for the current stage..