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.2
+version:             0.4.1.3
 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
@@ -18,11 +18,14 @@
 {-# language UndecidableSuperClasses   #-}
 -- | Main module of @kind-generics@. Please refer to the @README@ file for documentation on how to use this package.
 module Generics.Kind (
-  module Data.PolyKinded
-, module Data.PolyKinded.Atom
   -- * Generic representation types
-, (:+:)(..), (:*:)(..), V1, U1(..), M1(..)
+  (:+:)(..), (:*:)(..), V1, U1(..), M1(..)
 , Field(..), (:=>:)(..), Exists(..)
+  -- ** Atoms for 'Field'
+, TyVar(..), Atom(..), (:$:), (:~:), (:~~:)
+, Var0, Var1, Var2, Var3, Var4, Var5, Var6, Var7, Var8, Var9
+  -- ** Lists of types
+, LoT(..), (:@@:), LoT1, LoT2
   -- * Generic type classes
 , GenericK(..)
 , GenericF, fromF, toF
@@ -31,6 +34,12 @@
 , fromRepK, toRepK, SubstRep, SubstRep', SubstAtom
   -- * Bridging with "GHC.Generics"
 , Conv(..)
+  -- * Re-exported from 'Data.PolyKinded.Atom'
+  -- ** Interpretation of atoms
+, Interpret, InterpretVar, Satisfies, ContainsTyVar
+  -- ** Auxiliary data types for interpretation
+, ForAllI(..), SuchThatI(..)
+, WrappedI(..), toWrappedI, fromWrappedI
 ) where
 
 import           Data.Kind