diff --git a/optimal-compute-core/src/lib.rs b/optimal-compute-core/src/lib.rs
index f8a9a06..15acc7a 100644
--- a/optimal-compute-core/src/lib.rs
+++ b/optimal-compute-core/src/lib.rs
@@ -370,14 +370,20 @@ pub trait ComputationFn: Computation {
 }
 
 #[derive(Clone, Copy, Debug)]
-pub struct Val<Dim, A> {
+pub struct Val<Dim, A>
+where
+    Self: Computation,
+{
     dim: PhantomData<Dim>,
-    inner: A,
+    pub inner: A,
 }
 
 #[derive(Clone, Copy, Debug)]
-pub struct Arg<Dim, A> {
-    name: &'static str,
+pub struct Arg<Dim, A>
+where
+    Self: Computation,
+{
+    pub name: &'static str,
     dim: PhantomData<Dim>,
     elem: PhantomData<A>,
 }
@@ -389,17 +395,16 @@ pub type Arg0<A> = Arg<Zero, A>;
 pub type Arg1<A> = Arg<One, A>;
 pub type Arg2<A> = Arg<Two, A>;
 
-impl<Dim, A> Val<Dim, A> {
+impl<Dim, A> Val<Dim, A>
+where
+    Self: Computation,
+{
     pub fn new(value: A) -> Self {
         Val {
             dim: PhantomData,
             inner: value,
         }
     }
-
-    pub fn into_inner(self) -> A {
-        self.inner
-    }
 }
 
 impl<Dim, A> Arg<Dim, A> {
@@ -510,6 +515,7 @@ where
 
 impl<D, A> fmt::Display for Val<Suc<D>, A>
 where
+    Self: Computation,
     A: fmt::Debug,
 {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
@@ -517,7 +523,10 @@ where
     }
 }
 
-impl<Dim, A> fmt::Display for Arg<Dim, A> {
+impl<Dim, A> fmt::Display for Arg<Dim, A>
+where
+    Self: Computation,
+{
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         write!(f, "{}", self.name)
     }
diff --git a/optimal-compute-core/src/run/run_core.rs b/optimal-compute-core/src/run/run_core.rs
index 640b608..c9b677a 100644
--- a/optimal-compute-core/src/run/run_core.rs
+++ b/optimal-compute-core/src/run/run_core.rs
@@ -29,7 +29,10 @@ pub trait RunCore {
     fn run_core(self, args: ArgVals) -> Self::Output;
 }
 
-impl<Dim, A> RunCore for Val<Dim, A> {
+impl<Dim, A> RunCore for Val<Dim, A>
+where
+    Self: Computation,
+{
     type Output = Value<A>;
 
     fn run_core(self, _args: ArgVals) -> Self::Output {
@@ -39,6 +42,7 @@ impl<Dim, A> RunCore for Val<Dim, A> {
 
 impl<A> RunCore for Arg<Zero, A>
 where
+    Self: Computation,
     A: 'static + ArgVal,
 {
     type Output = Value<A>;