diff --git a/include/safe.hpp b/include/safe.hpp
index 3722100..a3dbba3 100644
--- a/include/safe.hpp
+++ b/include/safe.hpp
@@ -10,3 +10,4 @@
 #include <safe/object.hpp>
 #include <safe/value.hpp>
 #include <safe/var.hpp>
+#include <safe/safe_cast.hpp>
diff --git a/include/safe/safe_cast.hpp b/include/safe/safe_cast.hpp
new file mode 100644
index 0000000..be0565d
--- /dev/null
+++ b/include/safe/safe_cast.hpp
@@ -0,0 +1,21 @@
+#pragma once
+
+
+#include <safe/detail/concepts.hpp>
+#include <safe/detail/fwd.hpp>
+#include <safe/var.hpp>
+
+#include <concepts>
+
+
+template<
+    typename T, 
+    safe::Var F> 
+requires (
+    std::is_convertible_v<typename F::value_type, T> and
+    safe::detail::integral_type<T>::requirement >= F::requirement)
+[[nodiscard]] SAFE_INLINE constexpr auto safe_cast(
+    F const & src
+) {
+    return static_cast<T>(src.unsafe_value_);
+}