diff --git a/Type/Spine/Stage0.hs b/Type/Spine/Stage0.hs
--- a/Type/Spine/Stage0.hs
+++ b/Type/Spine/Stage0.hs
@@ -58,6 +58,13 @@
 spineType :: Name -> Q [Dec]
 spineType n = do
   (ks, k) <- tyConSignature n
+  spineType_ n ks k
+
+
+-- | @spineType_ n ks k@ generates the @Spine@ instance for the type named @n@
+-- with parameter kind @ks@ and range kind @k@.
+spineType_ :: Name -> [Kind] -> Kind -> Q [Dec]
+spineType_ n ks k = do
   let kq = kTypeG $ foldr ArrowK k ks
       t = [t| $kq $(conT n) |]
   (:[]) `fmap` tySynInstD ''Spine [t] [t| TypeName $t |]
diff --git a/type-spine.cabal b/type-spine.cabal
--- a/type-spine.cabal
+++ b/type-spine.cabal
@@ -1,5 +1,5 @@
 Name:           type-spine
-Version:        0.1
+Version:        0.1.1
 License:        BSD3
 License-File:   LICENSE
 Author:         Nicolas Frisby <nicolas.frisby@gmail.com>