diff --git a/kinds.cabal b/kinds.cabal
--- a/kinds.cabal
+++ b/kinds.cabal
@@ -1,5 +1,5 @@
 Name:          kinds
-Version:       0.0.0.0
+Version:       0.0.1.0
 Cabal-Version: >= 1.2.3
 Build-Type:    Simple
 License:       BSD3
@@ -27,7 +27,8 @@
 
 Library
     Build-Depends:   base >= 3.0 && < 4.1
-    Extensions:      MultiParamTypeClasses
+    Extensions:      FlexibleInstances
+                     MultiParamTypeClasses
                      Rank2Types
                      TypeFamilies
     Exposed-Modules: Data.Kind
diff --git a/src/Data/Kind.hs b/src/Data/Kind.hs
--- a/src/Data/Kind.hs
+++ b/src/Data/Kind.hs
@@ -1,8 +1,8 @@
 {-|
-    Support for subkinds, including subkind polymorphism.
+    Support for subkinds of kind&#xA0;@*@, including subkind polymorphism.
 
-    Imagine, we had a language extension for declaring subkinds where a subkind declaration would
-    be written as follows:
+    Imagine, we had a language extension for declaring subkinds of kind&#xA0;@*@ where a subkind
+    declaration would be written as follows:
 
     @
     subkind /K/ = /C_1/ => /t_1/ | ... | /C_n/ => /t_n/
@@ -25,8 +25,9 @@
     subkind /K/ = /C_1/ => /t_1/ | ... | /C_n/ => /t_n/
     @
 
-    can be emulated using this module. First, we declare an empty type&#xA0;@Kind/K/@ that
-    represents the subkind. Then we add the following instance declaration:
+    can be emulated using this module. First, we declare a type&#xA0;@Kind/K/@ with a nullary data
+    constructor of the same name for representing the subkind. Then we add the following instance
+    declaration:
 
     @
     instance Kind Kind/K/ where
@@ -52,7 +53,7 @@
     respectively. The above subkind declaration for @Map@ can be emulated with the following code:
 
     @
-    data KindMap
+    data KindMap = KindMap
     &#xA0;
     instance Kind KindMap where
     &#xA0;
@@ -72,11 +73,16 @@
 -}
 module Data.Kind (
 
+    -- * Subkinds in general
     Kind (type All, closed),
-    Inhabitant (specialize)
+    Inhabitant (specialize),
 
+    -- * Kind&#xA0;@*@ as a subkind of itself
+    KindStar (KindStar)
+
 ) where
 
+    -- * Subkinds in general
     -- |The class of subkind representations.
     class Kind kind where
 
@@ -106,3 +112,17 @@
             a new inhabitant, one would have to provide an implementation of @specialize@.
         -}
         specialize :: All kind item -> item inhabitant
+
+    -- * Kind&#xA0;@*@ as a subkind of itself
+    -- |Represents kind&#xA0;@*@ itself.
+    data KindStar = KindStar
+
+    instance Kind KindStar where
+
+        data All KindStar item = AllStar (forall val. item val)
+
+        closed item = AllStar item
+
+    instance Inhabitant KindStar val where
+
+        specialize (AllStar item) = item