diff --git a/src/Yaya/Hedgehog/Fold.hs b/src/Yaya/Hedgehog/Fold.hs
--- a/src/Yaya/Hedgehog/Fold.hs
+++ b/src/Yaya/Hedgehog/Fold.hs
@@ -109,10 +109,7 @@
 
 -- | Creates a generator for any `Steppable` type whose pattern functor has
 --   terminal cases (e.g., not `Data.Functor.Identity` or `((,) a)`). @leaf@ can
---   only generate terminal cases, and `branch` can generate any case. If the
---   provided `branch` generates terminal cases, then the resulting tree may
---   have a height less than the `Size`, otherwise it will be a perfect tree
---   with a height of exactly the provided `Size`.
+--   only generate terminal cases, and @branch@ can generate any case.
 --
 --   This is similar to `Gen.recursive` in that it separates the non-recursive
 --   cases from the recursive ones, except
@@ -124,15 +121,20 @@
 -- * the non-recursive cases aren’t included in recursive calls (see above for
 --   why).
 --
---   If there’s no existing @Gen (f Void)@ for your pattern functor, you can
+--   If there’s no existing @`Gen` (f `Void`)@ for your pattern functor, you can
 --   either create one manually, or pass `Hedgehog.Gen.discard` to the usual
---  @Gen a -> Gen (f a)@ generator.
+--   @`Gen` a -> `Gen` (f a)@ generator.
 --
---  NB: Hedgehog’s `Size` is signed, so this can raise an exception if given a
---      negative `Size`.
+--  __NB__: Hedgehog’s `Size` is signed, so this can raise an exception if given
+--          a negative `Size`.
 embeddableOfHeight ::
   (Steppable (->) t f, Functor f) =>
+  -- | A generator for terminal cases (leaf nodes).
   Gen (f Void) ->
+  -- | A generator for arbitrary cases. If the provided value generates terminal
+  --   cases, then the resulting tree may have a height less than the `Size`,
+  --   otherwise it will be a perfect tree with a height of exactly the provided
+  --  `Size`.
   (Gen t -> Gen (f t)) ->
   Size ->
   Gen t
diff --git a/yaya-hedgehog.cabal b/yaya-hedgehog.cabal
--- a/yaya-hedgehog.cabal
+++ b/yaya-hedgehog.cabal
@@ -1,7 +1,7 @@
 cabal-version:  3.0
 
 name:        yaya-hedgehog
-version:     0.3.0.1
+version:     0.3.0.2
 synopsis:    Hedgehog testing support for the Yaya recursion scheme
              library.
 description: If you use Yaya in your own code and have tests written