diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java
index cdf79be12..aafa40b5e 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple2.java
@@ -237,6 +237,15 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_2).fmap(_2Prime -> fmap(constantly(_2Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link SingletonHList}&lt;_1&gt;</code> of the first element.
+     *
+     * @return The {@link SingletonHList}&lt;_1&gt;
+     */
+    public SingletonHList<_1> init() {
+        return invert().tail();
+    }
+
     /**
      * Static factory method for creating <code>Tuple2</code>s from {@link java.util.Map.Entry}s.
      *
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java
index 6fe7710b3..28587154c 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple3.java
@@ -219,6 +219,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_3).fmap(_3Prime -> fmap(constantly(_3Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple2}&lt;_1, _2&gt;</code> of all the elements of this
+     * <code>{@link Tuple3}&lt;_1, _2, _3&gt;</code> except the last.
+     *
+     * @return The {@link Tuple2}&lt;_1, _2&gt; representing all but the last element
+     */
+    public Tuple2<_1, _2> init() {
+        return rotateR3().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
@@ -255,7 +265,7 @@ public static <A> Maybe<Tuple3<A, A, A>> fromIterable(Iterable<A> as) {
     public static <_1, _2> Pure<Tuple3<_1, _2, ?>> pureTuple(_1 _1, _2 _2) {
         return new Pure<Tuple3<_1, _2, ?>>() {
             @Override
-            public <_3> Tuple3<_1, _2, _3> checkedApply(_3 _3) throws Throwable {
+            public <_3> Tuple3<_1, _2, _3> checkedApply(_3 _3) {
                 return tuple(_1, _2, _3);
             }
         };
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java
index ebd946548..a170a278e 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple4.java
@@ -246,6 +246,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_4).fmap(_4Prime -> fmap(constantly(_4Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple3}&lt;_1, _2, _3&gt;</code> of all the elements of this
+     * <code>{@link Tuple4}&lt;_1, _2, _3, _4&gt;</code> except the last.
+     *
+     * @return The {@link Tuple3}&lt;_1, _2, _3&gt; representing all but the last element
+     */
+    public Tuple3<_1, _2, _3> init() {
+        return rotateR4().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
@@ -284,7 +294,7 @@ public static <A> Maybe<Tuple4<A, A, A, A>> fromIterable(Iterable<A> as) {
     public static <_1, _2, _3> Pure<Tuple4<_1, _2, _3, ?>> pureTuple(_1 _1, _2 _2, _3 _3) {
         return new Pure<Tuple4<_1, _2, _3, ?>>() {
             @Override
-            public <_4> Tuple4<_1, _2, _3, _4> checkedApply(_4 _4) throws Throwable {
+            public <_4> Tuple4<_1, _2, _3, _4> checkedApply(_4 _4) {
                 return tuple(_1, _2, _3, _4);
             }
         };
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java
index 869a41f97..23c60829f 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple5.java
@@ -273,6 +273,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_5).fmap(_3Prime -> fmap(constantly(_3Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple4}&lt;_1, _2, _3, _4&gt;</code> of all the elements of this
+     * <code>{@link Tuple5}&lt;_1, _2, _3, _4, _5&gt;</code> except the last.
+     *
+     * @return The {@link Tuple4}&lt;_1, _2, _3, _4&gt; representing all but the last element
+     */
+    public Tuple4<_1, _2, _3, _4> init() {
+        return rotateR5().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
@@ -313,7 +323,7 @@ public static <A> Maybe<Tuple5<A, A, A, A, A>> fromIterable(Iterable<A> as) {
     public static <_1, _2, _3, _4> Pure<Tuple5<_1, _2, _3, _4, ?>> pureTuple(_1 _1, _2 _2, _3 _3, _4 _4) {
         return new Pure<Tuple5<_1, _2, _3, _4, ?>>() {
             @Override
-            public <_5> Tuple5<_1, _2, _3, _4, _5> checkedApply(_5 _5) throws Throwable {
+            public <_5> Tuple5<_1, _2, _3, _4, _5> checkedApply(_5 _5) {
                 return tuple(_1, _2, _3, _4, _5);
             }
         };
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java
index 72bbac9ba..1034e3b6b 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple6.java
@@ -304,6 +304,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_6).fmap(_6Prime -> fmap(constantly(_6Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple5}&lt;_1, _2, _3, _4, _5&gt;</code> of all the elements of this
+     * <code>{@link Tuple6}&lt;_1, _2, _3, _4, _5, _6&gt;</code> except the last.
+     *
+     * @return The {@link Tuple5}&lt;_1, _2, _3, _4, _5&gt; representing all but the last element
+     */
+    public Tuple5<_1, _2, _3, _4, _5> init() {
+        return rotateR6().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java
index 3a2f027b7..e5589553c 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple7.java
@@ -334,6 +334,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_7).fmap(_7Prime -> fmap(constantly(_7Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple6}&lt;_1, _2, _3, _4, _5, _6&gt;</code> of all the elements of this
+     * <code>{@link Tuple7}&lt;_1, _2, _3, _4, _5, _6, _7&gt;</code> except the last.
+     *
+     * @return The {@link Tuple6}&lt;_1, _2, _3, _4, _5, _6&gt; representing all but the last element
+     */
+    public Tuple6<_1, _2, _3, _4, _5, _6> init() {
+        return rotateR7().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
@@ -379,7 +389,7 @@ public static <A> Maybe<Tuple7<A, A, A, A, A, A, A>> fromIterable(Iterable<A> as
                                                                                              _5 _5, _6 _6) {
         return new Pure<Tuple7<_1, _2, _3, _4, _5, _6, ?>>() {
             @Override
-            public <_7> Tuple7<_1, _2, _3, _4, _5, _6, _7> checkedApply(_7 _7) throws Throwable {
+            public <_7> Tuple7<_1, _2, _3, _4, _5, _6, _7> checkedApply(_7 _7) {
                 return tuple(_1, _2, _3, _4, _5, _6, _7);
             }
         };
diff --git a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java
index c97cea46d..1122d7e9d 100644
--- a/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java
+++ b/src/main/java/com/jnape/palatable/lambda/adt/hlist/Tuple8.java
@@ -364,6 +364,16 @@ AppTrav extends Applicative<TravB, App>> AppTrav traverse(
         return fn.apply(_8).fmap(_8Prime -> fmap(constantly(_8Prime))).<TravB>fmap(Applicative::coerce).coerce();
     }
 
+    /**
+     * Returns a <code>{@link Tuple7}&lt;_1, _2, _3, _4, _5, _6, _7&gt;</code> of all the elements of this
+     * <code>{@link Tuple8}&lt;_1, _2, _3, _4, _5, _6, _7, _8&gt;</code> except the last.
+     *
+     * @return The {@link Tuple7}&lt;_1, _2, _3, _4, _5, _6, _7&gt; representing all but the last element
+     */
+    public Tuple7<_1, _2, _3, _4, _5, _6, _7> init() {
+        return rotateR8().tail();
+    }
+
     /**
      * Given a value of type <code>A</code>, produced an instance of this tuple with each slot set to that value.
      *
@@ -413,7 +423,7 @@ public static <A> Maybe<Tuple8<A, A, A, A, A, A, A, A>> fromIterable(Iterable<A>
                                                                                                      _7 _7) {
         return new Pure<Tuple8<_1, _2, _3, _4, _5, _6, _7, ?>>() {
             @Override
-            public <_8> Tuple8<_1, _2, _3, _4, _5, _6, _7, _8> checkedApply(_8 _8) throws Throwable {
+            public <_8> Tuple8<_1, _2, _3, _4, _5, _6, _7, _8> checkedApply(_8 _8) {
                 return tuple(_1, _2, _3, _4, _5, _6, _7, _8);
             }
         };
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple2Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple2Test.java
index 31dc2f285..6637386ce 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple2Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple2Test.java
@@ -63,6 +63,11 @@ public void tail() {
         assertEquals(new SingletonHList<>(2), tuple2.tail());
     }
 
+    @Test
+    public void init() {
+        assertEquals(new SingletonHList<>(1), tuple2.init());
+    }
+
     @Test
     public void cons() {
         assertEquals(new Tuple3<>(0, tuple2), tuple2.cons(0));
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple3Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple3Test.java
index 55842ee8b..a4cad8198 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple3Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple3Test.java
@@ -126,4 +126,10 @@ public void staticPure() {
         Tuple3<Integer, String, Character> tuple = pureTuple(1, "2").apply('3');
         assertEquals(tuple(1, "2", '3'), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2),
+                     tuple(1, 2, 3).init());
+    }
 }
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple4Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple4Test.java
index bb5380891..13d5da838 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple4Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple4Test.java
@@ -127,4 +127,10 @@ public void staticPure() {
         Tuple4<Integer, String, Character, Boolean> tuple = pureTuple(1, "2", '3').apply(true);
         assertEquals(tuple(1, "2", '3', true), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2, 3),
+                     tuple(1, 2, 3, 4).init());
+    }
 }
\ No newline at end of file
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple5Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple5Test.java
index f156f9072..7b81a2190 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple5Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple5Test.java
@@ -133,4 +133,10 @@ public void staticPure() {
         Tuple5<Integer, String, Character, Boolean, Float> tuple = pureTuple(1, "2", '3', true).apply(5f);
         assertEquals(tuple(1, "2", '3', true, 5f), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2, 3, 4),
+                     tuple(1, 2, 3, 4, 5).init());
+    }
 }
\ No newline at end of file
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple6Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple6Test.java
index a148ae972..880eee1e4 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple6Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple6Test.java
@@ -137,4 +137,10 @@ public void staticPure() {
         Tuple6<Integer, String, Character, Boolean, Float, Byte> tuple = pureTuple(1, "2", '3', true, 5f).apply((byte) 6);
         assertEquals(tuple(1, "2", '3', true, 5f, (byte) 6), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2, 3, 4, 5),
+                     tuple(1, 2, 3, 4, 5, 6).init());
+    }
 }
\ No newline at end of file
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple7Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple7Test.java
index f1cbb7f3a..d5b13fd24 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple7Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple7Test.java
@@ -141,4 +141,10 @@ public void staticPure() {
                 pureTuple((byte) 1, (short) 2, 3, 4L, 5F, 6D).apply(true);
         assertEquals(tuple((byte) 1, (short) 2, 3, 4L, 5F, 6D, true), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2, 3, 4, 5, 6),
+                     tuple(1, 2, 3, 4, 5, 6, 7).init());
+    }
 }
\ No newline at end of file
diff --git a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple8Test.java b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple8Test.java
index dacab1869..ced5531b5 100644
--- a/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple8Test.java
+++ b/src/test/java/com/jnape/palatable/lambda/adt/hlist/Tuple8Test.java
@@ -158,4 +158,10 @@ public void staticPure() {
                 pureTuple((byte) 1, (short) 2, 3, 4L, 5F, 6D, true).apply('8');
         assertEquals(tuple((byte) 1, (short) 2, 3, 4L, 5F, 6D, true, '8'), tuple);
     }
+
+    @Test
+    public void init() {
+        assertEquals(tuple(1, 2, 3, 4, 5, 6, 7),
+                     tuple(1, 2, 3, 4, 5, 6, 7, 8).init());
+    }
 }
\ No newline at end of file