diff --git a/composable-views/Cargo.toml b/composable-views/Cargo.toml
index ea473bb..5f2c6bb 100644
--- a/composable-views/Cargo.toml
+++ b/composable-views/Cargo.toml
@@ -15,6 +15,9 @@ lyon = "1.0.1"
 usvg = "0.44.0"
 svg = "0.18.0"
 
+[dependencies.ui_id]
+path = "src/ui_id"
+
 
 [dev-dependencies]
 futures.workspace = true
diff --git a/composable-views/src/gesture/mod.rs b/composable-views/src/gesture/mod.rs
index 82ce36b..35d0a1c 100644
--- a/composable-views/src/gesture/mod.rs
+++ b/composable-views/src/gesture/mod.rs
@@ -5,21 +5,12 @@ use composable::dependencies::DependencyDefault;
 mod recognizer;
 pub use recognizer::*;
 
+pub use std::num::NonZeroU128 as Id;
+
 mod tap;
 
 pub use tap::TapGesture;
 
-#[derive(Copy, Clone, Eq, PartialEq)]
-pub struct Id(pub(crate) std::num::NonZeroU128);
-
-#[doc(hidden)]
-impl TryFrom<u128> for Id {
-    type Error = std::num::TryFromIntError;
-
-    fn try_from(value: u128) -> Result<Self, Self::Error> {
-        Ok(Self(value.try_into()?))
-    }
-}
 
 #[non_exhaustive] // must use `State::default()`
 #[derive(Copy, Clone, Default, Eq, PartialEq)]
diff --git a/composable-views/src/lib.rs b/composable-views/src/lib.rs
index 0daae90..8062ad0 100644
--- a/composable-views/src/lib.rs
+++ b/composable-views/src/lib.rs
@@ -11,6 +11,7 @@ pub use shapes::{Circle, ContinuousRoundedRectangle, Ellipse, Rectangle, Rounded
 pub use shapes::{Path, Shape};
 #[doc(inline)]
 pub use text::Text;
+pub use ui_id::ui_id;
 
 use composable::{Effects, From, TryInto};
 
diff --git a/composable-views/src/ui_id/Cargo.toml b/composable-views/src/ui_id/Cargo.toml
new file mode 100644
index 0000000..4476c1a
--- /dev/null
+++ b/composable-views/src/ui_id/Cargo.toml
@@ -0,0 +1,18 @@
+[package]
+name = "ui_id"
+version = "0.4.1"
+authors = ["Bryan Woods"]
+edition = "2021"
+
+[lib]
+proc-macro = true
+
+
+[dependencies]
+syn = "2.0"
+quote = "1.0"
+fastrand = "2.2"
+
+
+[dev-dependencies]
+itertools = "0.13.0"
diff --git a/composable-views/src/ui_id/src/lib.rs b/composable-views/src/ui_id/src/lib.rs
new file mode 100644
index 0000000..cf78ad1
--- /dev/null
+++ b/composable-views/src/ui_id/src/lib.rs
@@ -0,0 +1,47 @@
+#![allow(clippy::unreadable_literal)]
+
+use quote::quote;
+use syn::parse::Parser;
+
+#[proc_macro]
+/// Produces a unique id (at compile-time) for every call-site in the source code
+/// ```
+/// let a = ui_id::ui_id!();
+/// let b = ui_id::ui_id!();
+/// assert_ne!(a, b);
+/// ```
+///
+/// More complex cases are handled by passing in optional runtime values to distinguish ids that are logically different but produced by the same location in the source code. Loops, for example, can be handled by passing in the loop index.
+/// ```
+/// use itertools::Itertools;
+/// (0..1000)
+///     .map(|n| { return ui_id::ui_id!(n) })
+///     .collect::<std::vec::Vec<_>>()
+///     .into_iter()
+///     .combinations(2)
+///     .into_iter()
+///     .for_each(|pair| assert_ne!(pair[0], pair[1]));
+/// ```
+pub fn ui_id(tokens: proc_macro::TokenStream) -> proc_macro::TokenStream {
+    let bytes = fastrand::u128(..);
+
+    let exprs = syn::punctuated::Punctuated::<syn::Expr, syn::Token![,]>::parse_terminated
+        .parse(tokens)
+        .expect("ui_id arguments could not be parsed.")
+        .into_iter();
+
+    let tokens = quote! {
+        {
+            let mut hash = #bytes;
+
+            // If runtime parameters where passed into the macro, perform a 128-bit FNV-1a
+            // mix-step to combine them with the current `ui_id` to generate a new one.
+            let prime = 0x0000000001000000000000000000013Bu128;
+            #( hash = (hash ^ ((#exprs) as u128)).wrapping_mul(prime); )*
+
+            unsafe { std::num::NonZeroU128::new_unchecked(hash | 0x1u128) }
+        }
+    };
+
+    tokens.into()
+}