diff --git a/kind-generics.cabal b/kind-generics.cabal
--- a/kind-generics.cabal
+++ b/kind-generics.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                kind-generics
-version:             0.4.0.0
+version:             0.4.1.0
 synopsis:            Generic programming in GHC style for arbitrary kinds and GADTs.
 description:         This package provides functionality to extend the data type generic programming functionality in GHC to classes of arbitrary kind, and constructors featuring constraints and existentials, as usually found in GADTs.
 -- bug-reports:
diff --git a/src/Generics/Kind.hs b/src/Generics/Kind.hs
--- a/src/Generics/Kind.hs
+++ b/src/Generics/Kind.hs
@@ -75,7 +75,7 @@
 -- > instance GenericK E LoT0 where
 -- >   type RepK E = Exists (*) (Field Var0)
 data Exists k (f :: LoT (k -> d) -> *) (x :: LoT d) where
-  Exists :: forall (t :: k) d (f :: LoT (k -> d) -> *) (x :: LoT d)
+  Exists :: forall k (t :: k) d (f :: LoT (k -> d) -> *) (x :: LoT d)
           .{ unExists :: f (t ':&&: x) } -> Exists k f x
 deriving instance (forall t. Show (f (t ':&&: x))) => Show (Exists k f x)