diff --git a/src/instruction/mod.rs b/src/instruction/mod.rs
index b275bf44..18f1f903 100644
--- a/src/instruction/mod.rs
+++ b/src/instruction/mod.rs
@@ -22,7 +22,6 @@ mod method_call;
 mod operator;
 mod rename;
 mod type_declaration;
-mod type_id;
 mod type_instantiation;
 mod var;
 mod var_assignment;
diff --git a/src/typechecker.rs b/src/typechecker.rs
index 6b29ab8f..360bec7f 100644
--- a/src/typechecker.rs
+++ b/src/typechecker.rs
@@ -2,9 +2,12 @@
 //! need to get its type checked multiple times, then it can implement the [`CachedTypeCheck`]
 //! trait on top of it.
 
+mod type_id;
+
 use crate::{
     error::ErrorHandler,
-    instruction::{FunctionDec, TypeId},
+    instruction::FunctionDec,
+    typechecker::TypeId,
     Error, ScopeMap,
 };
 use colored::Colorize;
diff --git a/src/instruction/type_id.rs b/src/typechecker/type_id.rs
similarity index 100%
rename from src/instruction/type_id.rs
rename to src/typechecker/type_id.rs