diff --git a/crates/fayalite/src/sim/value.rs b/crates/fayalite/src/sim/value.rs
index ff6660ca..f1fc40c0 100644
--- a/crates/fayalite/src/sim/value.rs
+++ b/crates/fayalite/src/sim/value.rs
@@ -157,7 +157,13 @@ pub struct SimValue<T: Type> {
     inner: AlternatingCell<SimValueInner<T>>,
 }
 
-impl<T: Type + Clone> Clone for SimValue<T> {
+impl<T: Type<SimValue: fmt::Display>> fmt::Display for SimValue<T> {
+    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
+        T::SimValue::fmt(self, f)
+    }
+}
+
+impl<T: Type> Clone for SimValue<T> {
     fn clone(&self) -> Self {
         Self {
             inner: AlternatingCell::new_unique(self.inner.share().clone()),