diff --git a/include/zll/meta/is_same.hpp b/include/zll/meta/is_same.hpp
new file mode 100644
index 0000000..bae98a6
--- /dev/null
+++ b/include/zll/meta/is_same.hpp
@@ -0,0 +1,18 @@
+#ifndef ZLL_META_ISSAME_HPP
+#define ZLL_META_ISSAME_HPP
+
+#include "zll/meta/integral_constant.hpp"
+
+namespace zll {
+namespace meta {
+
+template <typename T, typename U>
+struct is_same : false_type {};
+
+template <typename T>
+struct is_same<T, T> : true_type {};
+
+}  // namespace meta
+}  // namespace zll
+
+#endif  // ZLL_META_ISSAME_HPP
diff --git a/include/zll/type_traits.hpp b/include/zll/type_traits.hpp
new file mode 100644
index 0000000..15b8794
--- /dev/null
+++ b/include/zll/type_traits.hpp
@@ -0,0 +1,6 @@
+#ifndef ZLL_TYPETRAITS_HPP
+#define ZLL_TYPETRAITS_HPP
+
+#include "zll/meta/is_same.hpp"
+
+#endif // ZLL_TYPETRAITS_HPP
diff --git a/tests/unit_tests/meson.build b/tests/unit_tests/meson.build
index cf821f8..228f27d 100644
--- a/tests/unit_tests/meson.build
+++ b/tests/unit_tests/meson.build
@@ -1,6 +1,7 @@
 
 unit_tests_srcs = [
     'meta/integral_constant_tests.cpp',
+    'meta/is_same_tests.cpp',
     'main.cpp',
 ]
 
diff --git a/tests/unit_tests/meta/is_same_tests.cpp b/tests/unit_tests/meta/is_same_tests.cpp
new file mode 100644
index 0000000..574c9d5
--- /dev/null
+++ b/tests/unit_tests/meta/is_same_tests.cpp
@@ -0,0 +1,24 @@
+#include "zll/meta/is_same.hpp"
+
+#include <utest.h>
+
+struct test_dummy {};
+struct test_child : test_dummy {};
+
+UTEST(meta_is_same, compare_same) {
+    ASSERT_TRUE((zll::meta::is_same<int, int>::value));
+    ASSERT_TRUE((zll::meta::is_same<char, char>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_dummy, test_dummy>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_child, test_child>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_dummy&, test_dummy&>::value));
+    ASSERT_TRUE((zll::meta::is_same<test_child&, test_child&>::value));
+}
+
+UTEST(meta_is_same, compare_not_same) {
+    ASSERT_FALSE((zll::meta::is_same<int, char>::value));
+    ASSERT_FALSE((zll::meta::is_same<char, short>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy, test_child>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_child, int>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy, test_dummy&>::value));
+    ASSERT_FALSE((zll::meta::is_same<test_dummy*, test_child*>::value));
+}