wip

1 files changed, 10 insertions, 8 deletions

diff --git a/src/Language/Fiddle/Ast/Internal/Instances.hs b/src/Language/Fiddle/Ast/Internal/Instances.hs
index b8f6072..c9c3455 100644
--- a/src/Language/Fiddle/Ast/Internal/Instances.hs
+++ b/src/Language/Fiddle/Ast/Internal/Instances.hs
@@ -1,6 +1,14 @@
 {-# LANGUAGE FunctionalDependencies #-}
 
-module Language.Fiddle.Ast.Internal.Instances where
+module Language.Fiddle.Ast.Internal.Instances
+  ( module X,
+    Alter (..),
+    AdvanceStage (..),
+    CompilationStage (..),
+    Annotated (..),
+    GAnnot (..)
+  )
+where
 
 import Data.Functor.Identity
 import Data.Kind
@@ -10,6 +18,7 @@ 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
 
@@ -40,13 +49,6 @@ class Alter (t :: SynTree) where
     m (t f2 a2)
   alter ffn fn t = to <$> galter (proxyOf t) ffn fn (from t)
 
-class (Typeable t) => Visit (t :: SynTree) where
-  visit ::
-    (Typeable f, Typeable a, Monad m) =>
-    (forall t'. (Typeable t') => t' f a -> m ()) ->
-    t f a ->
-    m ()
-
 -- | 'CompilationStage' is a type class representing a stage in the compiler
 --   pipeline. Each 'stage' has associated types that define how it transforms
 --   syntax trees, manages state, and handles annotations.