diff --git a/compiler/src/context.rs b/compiler/src/context.rs
index f4ba2c0..ffafea5 100644
--- a/compiler/src/context.rs
+++ b/compiler/src/context.rs
@@ -52,6 +52,17 @@ impl Context {
         self.types.new_trait(name, required)
     }
 
+    pub fn new_trait_implementation(&mut self, type_id: TypeId, trait_id: TypeId) -> TypeId {
+        let ty_name_id = self.types.get(type_id.clone()).unwrap().name();
+        let tr_name_id = self.types.get(trait_id.clone()).unwrap().name();
+
+        let ty_name = self.strings.get(ty_name_id).unwrap().clone();
+        let tr_name = self.strings.get(tr_name_id).unwrap().clone();
+
+        let name = self.strings.set(&format!("{}<{}>", tr_name, ty_name));
+        self.types.new_implementation(name, type_id, trait_id)
+    }
+
     pub fn get_type(&self, id: TypeId) -> Option<&Type> {
         self.types.get(id)
     }
diff --git a/compiler/src/types/inner.rs b/compiler/src/types/inner.rs
index 69d156e..66648e6 100644
--- a/compiler/src/types/inner.rs
+++ b/compiler/src/types/inner.rs
@@ -9,4 +9,5 @@ pub enum Inner {
     Buffer,
     Compound(Vec<(StaticStringId, TypeId)>),
     Trait(Vec<SignatureId>),
+    Implementation(TypeId, TypeId),
 }
diff --git a/compiler/src/types/mod.rs b/compiler/src/types/mod.rs
index 93f7b5d..3f5aa0c 100644
--- a/compiler/src/types/mod.rs
+++ b/compiler/src/types/mod.rs
@@ -57,6 +57,21 @@ impl Types {
         id
     }
 
+    pub fn new_implementation(
+        &mut self,
+        name: StaticStringId,
+        type_id: TypeId,
+        trait_id: TypeId,
+    ) -> TypeId {
+        let id = self.next_type_id();
+
+        self.0.insert(
+            id.clone(),
+            Type::new_impl(id.clone(), name, type_id, trait_id),
+        );
+        id
+    }
+
     pub fn get(&self, id: TypeId) -> Option<&Type> {
         self.0.get(&id)
     }
diff --git a/compiler/src/types/type_.rs b/compiler/src/types/type_.rs
index d739c30..d8fd478 100644
--- a/compiler/src/types/type_.rs
+++ b/compiler/src/types/type_.rs
@@ -57,6 +57,14 @@ impl Type {
         }
     }
 
+    pub fn new_impl(id: TypeId, name: StaticStringId, type_id: TypeId, trait_id: TypeId) -> Self {
+        Type {
+            name: name,
+            id: id,
+            inner: Inner::Implementation(type_id, trait_id),
+        }
+    }
+
     pub fn id(&self) -> TypeId {
         self.id.clone()
     }