diff --git a/category-printf.cabal b/category-printf.cabal
--- a/category-printf.cabal
+++ b/category-printf.cabal
@@ -1,5 +1,5 @@
 name:                category-printf
-version:             0.1.0.1
+version:             0.1.0.2
 synopsis:            Highbrow approach to type-safe printf format specifications.
 description:         We use the co-Kleisli category for the comonad of
                      functions out of a fixed monoid to implement a generic
diff --git a/src/Control/Category/Printf.hs b/src/Control/Category/Printf.hs
--- a/src/Control/Category/Printf.hs
+++ b/src/Control/Category/Printf.hs
@@ -135,7 +135,7 @@
 swap = arr (\k x y -> k y x)
 
 -- | Skip the next argument on the stack.
-skip :: Monoid m => Format m (t -> a) (t' -> t -> a)
+skip :: Monoid m => Format m a (t -> a)
 skip = arr (\k x -> k)
 
 -- | Apply a function to the argument on the top of the stack.