diff --git a/libs/gram/src/Gram/Validate.hs b/libs/gram/src/Gram/Validate.hs
index 0fcc221..ed1789a 100644
--- a/libs/gram/src/Gram/Validate.hs
+++ b/libs/gram/src/Gram/Validate.hs
@@ -7,7 +7,6 @@ module Gram.Validate
   , SymbolType(..)
   , DefinitionStatus(..)
   , PatternSignature(..)
-  , ValidationEnv(..)
   , ValidationError(..)
   , validate
   ) where
@@ -49,10 +48,6 @@ data PatternSignature = PatternSignature
   , sigEndpoints :: Maybe (Maybe Identifier, Maybe Identifier) -- (source, target) for relationships
   } deriving (Show, Eq)
 
-data ValidationEnv = ValidationEnv
-  { envCurrentPath :: [Identifier] -- For cycle detection
-  } deriving (Show, Eq)
-
 data ValidationError
   = DuplicateDefinition Identifier
   | UndefinedReference Identifier
@@ -62,15 +57,11 @@ data ValidationError
   deriving (Show, Eq)
 
 type ValidationState = (SymbolTable, [ValidationError])
-type ValidateM a = State ValidationEnv a
 
 -- | Initial state
 emptySymbolTable :: SymbolTable
 emptySymbolTable = Map.empty
 
-emptyEnv :: ValidationEnv
-emptyEnv = ValidationEnv []
-
 -- | Validate a parsed Gram AST.
 validate :: Gram -> Either [ValidationError] ()
 validate (Gram _ patterns) =