diff --git a/higgledy.cabal b/higgledy.cabal
--- a/higgledy.cabal
+++ b/higgledy.cabal
@@ -1,7 +1,7 @@
 cabal-version:       2.4
 
 name:                higgledy
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Partial types as a type constructor.
 description:         Use the generic representation of an ADT to get a higher-kinded data-style interface automatically.
 homepage:            https://github.com/i-am-tom/higgledy
diff --git a/src/Data/Generic/HKD/Construction.hs b/src/Data/Generic/HKD/Construction.hs
--- a/src/Data/Generic/HKD/Construction.hs
+++ b/src/Data/Generic/HKD/Construction.hs
@@ -20,7 +20,9 @@
 Maintainer  : tom.harding@habito.com
 Stability   : experimental
 -}
-module Data.Generic.HKD.Construction where
+module Data.Generic.HKD.Construction
+  ( Construct (..)
+  ) where
 
 import Data.Generic.HKD.Types (HKD (..), GHKD_)
 import Data.Kind (Type)
diff --git a/src/Data/Generic/HKD/Field.hs b/src/Data/Generic/HKD/Field.hs
--- a/src/Data/Generic/HKD/Field.hs
+++ b/src/Data/Generic/HKD/Field.hs
@@ -43,8 +43,8 @@
 -- >>> data User = User { name :: String, age :: Int } deriving (Generic, Show)
 -- >>> type Partial a = HKD a Last
 --
--- We can create an empty partial @User@ and set its name to "Tom" (which, in
--- this case, is @pure "Tom" :: Last String@):
+-- We can create an empty partial @User@ and set its name to \"Tom\" (which, in
+-- this case, is @pure \"Tom\" :: Last String@):
 --
 -- >>> mempty @(Partial User) & field @"name" .~ pure "Tom"
 -- User {name = Last {getLast = Just "Tom"}, age = Last {getLast = Nothing}}
diff --git a/src/Data/Generic/HKD/Labels.hs b/src/Data/Generic/HKD/Labels.hs
--- a/src/Data/Generic/HKD/Labels.hs
+++ b/src/Data/Generic/HKD/Labels.hs
@@ -10,7 +10,10 @@
 {-# LANGUAGE TypeApplications       #-}
 {-# LANGUAGE TypeOperators          #-}
 {-# LANGUAGE UndecidableInstances   #-}
-module Data.Generic.HKD.Labels where
+module Data.Generic.HKD.Labels
+  ( Label (..)
+  , labelsWhere
+  ) where
 
 import Data.Barbie (ProductB (..), TraversableB (..))
 import Data.Functor.Const (Const (..))
diff --git a/src/Data/Generic/HKD/Types.hs b/src/Data/Generic/HKD/Types.hs
--- a/src/Data/Generic/HKD/Types.hs
+++ b/src/Data/Generic/HKD/Types.hs
@@ -47,8 +47,8 @@
 -- @
 --   data User f
 --    = User
---        { name      :: f String
---        , age       :: f Int
+--        { name :: f String
+--        , age  :: f Int
 --        }
 -- @
 --