diff --git a/cayley-dickson.cabal b/cayley-dickson.cabal
--- a/cayley-dickson.cabal
+++ b/cayley-dickson.cabal
@@ -1,5 +1,5 @@
 name:                cayley-dickson
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Complex numbers, quaternions, octonions, sedenions, etc.
 description:         Cayley-Dickson constructions (complex numbers, quaternions,
                      octonions, sedenions, etc.) over general scalars without
diff --git a/src/Math/CayleyDickson.hs b/src/Math/CayleyDickson.hs
--- a/src/Math/CayleyDickson.hs
+++ b/src/Math/CayleyDickson.hs
@@ -69,10 +69,6 @@
     Conjugable(conj),
 
     -- ** Tags
-    --
-    -- | Tags serve to determine a type's dimension, which is 2 raised
-    -- to `tagVal`. Tag instances are included for convenience only,
-    -- as you may create your own tag.
     Tag(tagVal),
     Tag0,  Tag1,  Tag2,  Tag3,  Tag4,  Tag5,  Tag6,  Tag7,  Tag8,  Tag9,
     Tag10, Tag11, Tag12, Tag13, Tag14, Tag15, Tag16, Tag17, Tag18, Tag19,
@@ -452,9 +448,16 @@
 ----------------------------------------------------------
 -- convenience types
 
+-- | Complex numbers, the 2^1-dimensional construction.
 type Complex a = Nion Tag1 a
+
+-- | Quaternions, the 2^2-dimensional construction.
 type Quaternion a = Nion Tag2 a
+
+-- | Octonions, the 2^3-dimensional construction.
 type Octonion a = Nion Tag3 a
+
+-- | Sedenions, the 2^4-dimensional construction.
 type Sedenion a = Nion Tag4 a
 
 -- | Construct a complex number.
@@ -495,8 +498,10 @@
 ----------------------------------------------------------
 -- Conjugable
 
+-- | The /conjugate/ of an element is obtained by negating the pure
+-- part. The conjugate for real numbers (which have no pure part) is
+-- the identity ('id').
 class Num a => Conjugable a where
-  -- | Conjugate.
   conj :: a -> a
 
 instance Conjugable a => Conjugable (Nion n a) where
@@ -545,6 +550,9 @@
 ----------------------------------------------------------
 -- Tag
 
+-- | Tags serve to determine a type's dimension, which is 2 raised to
+-- `tagVal`. Tag instances are included for convenience only, as you
+-- may create your own tag.
 class Tag n where
   tagVal :: Proxy n -> Integer