diff --git a/src/Arborist/src/ExpressionOn_2.cs b/src/Arborist/src/ExpressionOn_2.cs
index 5a037e4..f5ec929 100644
--- a/src/Arborist/src/ExpressionOn_2.cs
+++ b/src/Arborist/src/ExpressionOn_2.cs
@@ -18,4 +18,17 @@ public static Expression<Func<A, B, R>> Of<R>(Expression<Func<A, B, R>> expressi
     /// </remarks>
     public static Expression<Action<A, B>> Of(Expression<Action<A, B>> expression) =>
         expression;
+
+    /// <summary>
+    /// Grafts the provided <paramref name="branch"/> expression onto the <paramref name="root"/> expression,
+    /// replacing references to its parameter with the body of the <paramref name="root"/> expression.
+    /// </summary>
+    public static Expression<Func<A, B, RR>> Graft<R, RR>(
+        Expression<Func<A, B, R>> root,
+        Expression<Func<R, RR>> branch
+    ) =>
+        Expression.Lambda<Func<A, B, RR>>(
+            body: ExpressionHelper.Replace(branch.Body, branch.Parameters[0], root.Body),
+            parameters: root.Parameters
+        );
 }
diff --git a/src/Arborist/src/ExpressionOn_3.cs b/src/Arborist/src/ExpressionOn_3.cs
index 56ac195..309fc1f 100644
--- a/src/Arborist/src/ExpressionOn_3.cs
+++ b/src/Arborist/src/ExpressionOn_3.cs
@@ -18,4 +18,17 @@ public static Expression<Func<A, B, C, R>> Of<R>(Expression<Func<A, B, C, R>> ex
     /// </remarks>
     public static Expression<Action<A, B, C>> Of(Expression<Action<A, B, C>> expression) =>
         expression;
+
+    /// <summary>
+    /// Grafts the provided <paramref name="branch"/> expression onto the <paramref name="root"/> expression,
+    /// replacing references to its parameter with the body of the <paramref name="root"/> expression.
+    /// </summary>
+    public static Expression<Func<A, B, C, RR>> Graft<R, RR>(
+        Expression<Func<A, B, C, R>> root,
+        Expression<Func<R, RR>> branch
+    ) =>
+        Expression.Lambda<Func<A, B, C, RR>>(
+            body: ExpressionHelper.Replace(branch.Body, branch.Parameters[0], root.Body),
+            parameters: root.Parameters
+        );
 }
diff --git a/src/Arborist/src/ExpressionOn_4.cs b/src/Arborist/src/ExpressionOn_4.cs
index 3ae4f13..1d85538 100644
--- a/src/Arborist/src/ExpressionOn_4.cs
+++ b/src/Arborist/src/ExpressionOn_4.cs
@@ -18,4 +18,17 @@ public static Expression<Func<A, B, C, D, R>> Of<R>(Expression<Func<A, B, C, D,
     /// </remarks>
     public static Expression<Action<A, B, C, D>> Of(Expression<Action<A, B, C, D>> expression) =>
         expression;
+
+    /// <summary>
+    /// Grafts the provided <paramref name="branch"/> expression onto the <paramref name="root"/> expression,
+    /// replacing references to its parameter with the body of the <paramref name="root"/> expression.
+    /// </summary>
+    public static Expression<Func<A, B, C, D, RR>> Graft<R, RR>(
+        Expression<Func<A, B, C, D, R>> root,
+        Expression<Func<R, RR>> branch
+    ) =>
+        Expression.Lambda<Func<A, B, C, D, RR>>(
+            body: ExpressionHelper.Replace(branch.Body, branch.Parameters[0], root.Body),
+            parameters: root.Parameters
+        );
 }
diff --git a/src/Arborist/test/GraftTests.cs b/src/Arborist/test/GraftTests.cs
index a0195e4..df48a17 100644
--- a/src/Arborist/test/GraftTests.cs
+++ b/src/Arborist/test/GraftTests.cs
@@ -5,32 +5,40 @@ namespace Arborist;
 public class GraftTests {
     [Fact]
     public void Graft0_works_as_expected() {
-        var expected = Expression.Lambda<Func<int>>(
-            Expression.Property(
-                Expression.Constant("foo"),
-                typeof(string).GetProperty(nameof(string.Length))!
-            )
-        );
-
-        var actual = ExpressionOnNone.Graft(() => "foo", str => str.Length);
+        var expected = ExpressionOnNone.Of(() => "foo".Length);
+        var actual = ExpressionOnNone.Graft(() => "foo", v => v.Length);
 
         Assert.Equivalent(expected, actual);
     }
 
     [Fact]
     public void Graft1_works_as_expected() {
-        var actual = ExpressionOn<Cat>.Graft(c => c.Name, str => str.Length);
-
-        var expected = Expression.Lambda<Func<Cat, int>>(
-            Expression.Property(
-                Expression.Property(
-                    actual.Parameters[0],
-                    typeof(Cat).GetProperty(nameof(Cat.Name))!
-                ),
-                typeof(string).GetProperty(nameof(string.Length))!
-            ),
-            actual.Parameters
-        );
+        var expected = ExpressionOn<Cat>.Of(a => a.Name.Length);
+        var actual = ExpressionOn<Cat>.Graft(a => a.Name, v => v.Length);
+
+        Assert.Equivalent(expected, actual);
+    }
+
+    [Fact]
+    public void Graft2_works_as_expected() {
+        var expected = ExpressionOn<Cat, Cat>.Of((a, b) => a.Name.Length);
+        var actual = ExpressionOn<Cat, Cat>.Graft((a, b) => a.Name, v => v.Length);
+
+        Assert.Equivalent(expected, actual);
+    }
+
+    [Fact]
+    public void Graft3_works_as_expected() {
+        var expected = ExpressionOn<Cat, Cat, Cat>.Of((a, b, c) => a.Name.Length);
+        var actual = ExpressionOn<Cat, Cat, Cat>.Graft((a, b, c) => a.Name, v => v.Length);
+
+        Assert.Equivalent(expected, actual);
+    }
+
+    [Fact]
+    public void Graft4_works_as_expected() {
+        var expected = ExpressionOn<Cat, Cat, Cat, Cat>.Of((a, b, c, d) => a.Name.Length);
+        var actual = ExpressionOn<Cat, Cat, Cat, Cat>.Graft((a, b, c, d) => a.Name, v => v.Length);
 
         Assert.Equivalent(expected, actual);
     }