diff --git a/examples/Eq_example.rs b/examples/Eq_example.rs
new file mode 100644
index 0000000..fdea5b2
--- /dev/null
+++ b/examples/Eq_example.rs
@@ -0,0 +1,34 @@
+use tagged_core::Tagged;
+
+fn main() {
+}
+#[test]
+fn test_eq() {
+    let a = Tagged::<u32, String>::new(42);
+    let b = Tagged::<u32, String>::new(42);
+    let c = Tagged::<u32, String>::new(35);
+    let d = Tagged::<u32, String>::new(0);
+
+    assert!(a == b);
+    assert!(a > c);
+    assert!(a >= d);
+
+}
+
+#[test]
+fn test_with_struct() {
+    use tagged_core::Tagged;
+
+    struct UserIdTag {
+        a: Tagged<u32, Self>,
+        b: Tagged<u32, Self>,
+    }
+
+
+    let instance = UserIdTag{a: 1.into(), b: 2.into()};
+
+    assert!(instance.a < instance.b);
+
+    // println!("{}", a);
+
+}
\ No newline at end of file
diff --git a/src/lib.rs b/src/lib.rs
index d0730d9..5ee3a72 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,3 +1,5 @@
-pub mod rust_tagged{
-    pub use tagged_core::*;
-}
\ No newline at end of file
+// pub mod rust_tagged{
+//     pub use tagged_core::*;
+// }
+
+pub use tagged_core::*;
diff --git a/tagged-core/examples/Eq_example.rs b/tagged-core/examples/Eq_example.rs
new file mode 100644
index 0000000..0fd41fc
--- /dev/null
+++ b/tagged-core/examples/Eq_example.rs
@@ -0,0 +1,32 @@
+use tagged_core::Tagged;
+fn main() {}
+#[test]
+fn test_eq() {
+    let a = Tagged::<u32, String>::new(42);
+    let b = Tagged::<u32, String>::new(42);
+    let c = Tagged::<u32, String>::new(35);
+    let d = Tagged::<u32, String>::new(0);
+
+    assert!(a == b);
+    assert!(a > c);
+    assert!(a >= d);
+
+}
+
+#[test]
+fn test_with_struct() {
+    use tagged_core::Tagged;
+
+    struct UserIdTag {
+        a: Tagged<u32, Self>,
+        b: Tagged<u32, Self>,
+    }
+
+
+    let instance = UserIdTag{a: 1.into(), b: 2.into()};
+
+    assert!(instance.a < instance.b);
+
+    // println!("{}", a);
+
+}
\ No newline at end of file
diff --git a/tagged-core/src/lib.rs b/tagged-core/src/lib.rs
index aaaf002..4577924 100644
--- a/tagged-core/src/lib.rs
+++ b/tagged-core/src/lib.rs
@@ -1,3 +1,4 @@
+use std::cmp::Ordering;
 use std::ops::Deref;
 /// rust-tagged provides a simple way to define strongly typed wrappers over primitive types like String, i32, Uuid, chrono::DateTime, etc. It helps eliminate bugs caused by misusing raw primitives for conceptually distinct fields such as UserId, Email, ProductId, and more.
 /// 
@@ -8,7 +9,7 @@ use std::ops::Deref;
 /// # Example
 /// 
 /// ```
-/// use rust_tagged::{Tagged};
+/// use tagged_core::{Tagged};
 /// 
 /// #[derive(Debug)]
 /// struct EmailTag;
@@ -24,12 +25,12 @@ use std::ops::Deref;
 ///     println!("Raw String: {raw}");
 /// }
 /// ```
-pub struct Tagged<T, U> {
+pub struct Tagged<T, Tag> {
     value: T,
-    _marker: std::marker::PhantomData<U>,
+    _marker: std::marker::PhantomData<Tag>,
 }
 
-impl<T, U> Tagged<T, U> {
+impl<T, Tag> Tagged<T, Tag> {
     pub fn new(value: T) -> Self {
         Self {
             value,
@@ -43,41 +44,60 @@ impl<T, U> Tagged<T, U> {
 }
 
 
-/// Blanket `From<T>` for `Tagged<T, U>`
-impl<T, U> From<T> for Tagged<T, U> {
+/// Blanket `From<T>` for `Tagged<T, Tag>`
+impl<T, Tag> From<T> for Tagged<T, Tag> {
     fn from(value: T) -> Self {
         Tagged::new(value)
     }
 }
 
-/// Support `From<&str>` → `Tagged<String, U>`
-impl<U> From<&str> for Tagged<String, U> {
+/// Support `From<&str>` → `Tagged<String, Tag>`
+impl<Tag> From<&str> for Tagged<String, Tag> {
     fn from(s: &str) -> Self {
         Tagged::new(s.to_string())
     }
 }
 
-/// Support `From<&String>` → `Tagged<String, U>`
-impl<U> From<&String> for Tagged<String, U> {
+/// Support `From<&String>` → `Tagged<String, Tag>`
+impl<Tag> From<&String> for Tagged<String, Tag> {
     fn from(s: &String) -> Self {
         Tagged::new(s.clone())
     }
 }
 
-impl<T, U> Deref for Tagged<T, U> {
+impl<T, Tag> Deref for Tagged<T, Tag> {
     type Target = T;
 
     fn deref(&self) -> &Self::Target {
         &self.value
     }
 }
+impl<T: PartialEq, Tag> PartialEq for Tagged<T, Tag> {
+    fn eq(&self, other: &Self) -> bool {
+        self.value == other.value
+    }
+}
+
+impl<T: Eq, Tag> Eq for Tagged<T, Tag> {}
+
+impl<T: PartialOrd, Tag> PartialOrd for Tagged<T, Tag> {
+    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
+        self.value.partial_cmp(&other.value)
+    }
+}
+
+impl<T: Ord, Tag> Ord for Tagged<T, Tag> {
+    fn cmp(&self, other: &Self) -> Ordering {
+        self.value.cmp(&other.value)
+    }
+}
 
 // For all common primitive types
 // macro_rules! impl_from_tagged {
 //     ($($t:ty),*) => {
 //         $(
-//             impl<U> From<Tagged<$t, U>> for $t {
-//                 fn from(tagged: Tagged<$t, U>) -> Self {
+//             impl<Tag> From<Tagged<$t, Tag>> for $t {
+//                 fn from(tagged: Tagged<$t, Tag>) -> Self {
 //                     tagged.value
 //                 }
 //             }
@@ -111,4 +131,5 @@ mod tests {
 
         assert_eq!(tagged_struct.id.value, 0);
     }
-}
\ No newline at end of file
+}
+