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.1.3
+version:             0.4.1.4
 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
@@ -22,10 +22,10 @@
   (:+:)(..), (:*:)(..), V1, U1(..), M1(..)
 , Field(..), (:=>:)(..), Exists(..)
   -- ** Atoms for 'Field'
-, TyVar(..), Atom(..), (:$:), (:~:), (:~~:)
+, Atom(..), TyVar(..), (:$:), (:~:), (:~~:)
 , Var0, Var1, Var2, Var3, Var4, Var5, Var6, Var7, Var8, Var9
   -- ** Lists of types
-, LoT(..), (:@@:), LoT1, LoT2
+, LoT(..), (:@@:), LoT1, LoT2, TyEnv(..)
   -- * Generic type classes
 , GenericK(..)
 , GenericF, fromF, toF
@@ -50,8 +50,8 @@
 -- import GHC.Exts
 
 -- | Fields: used to represent each of the (visible) arguments to a constructor.
--- Replaces the 'K1' type from "GHC.Generics". The type of the field is
--- represented by an 'Atom' from "Data.PolyKinded.Atom".
+-- Replaces the 'K1' type from 'GHC.Generics'. The type of the field is
+-- represented by an 'Atom' from 'Data.PolyKinded.Atom'.
 --
 -- > instance GenericK [] (a :&&: LoT0) where
 -- >   type RepK [] = Field Var0 :*: Field ([] :$: Var0)
@@ -76,7 +76,7 @@
 
 -- | Existentials: a representation of the form @E f@ describes
 -- a constructor whose inner type is represented by @f@, and where
--- the type variable at index 0, @Var0@, is existentially quantified.
+-- the type variable at index 0, 'Var0', is existentially quantified.
 --
 -- > data E where
 -- >  E :: t -> Exists