diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,12 @@
 Changes
 =======
 
+Version 1.1.1
+-------------
+
+Export some auxiliary functions from `T.S.Series`, and document how to express
+`consN` and `altsN` for `N > 4`.
+
 Version 1.1.0.1
 ---------------
 
diff --git a/Test/SmallCheck/Series.hs b/Test/SmallCheck/Series.hs
--- a/Test/SmallCheck/Series.hs
+++ b/Test/SmallCheck/Series.hs
@@ -78,6 +78,14 @@
   -- >
   -- >instance Serial m a => Serial m (Light a) where
   -- >  series = newtypeCons Light
+  --
+  -- For data types with more than 4 fields define @consN@ as
+  --
+  -- >consN f = decDepth $
+  -- >  f <$> series
+  -- >    <~> series
+  -- >    <~> series
+  -- >    <~> ...    {- series repeated N times in total -}
 
   -- ** What does consN do, exactly?
 
@@ -124,6 +132,15 @@
   -- >    return $ \l ->
   -- >      case l of
   -- >        Light x -> f x
+  --
+  -- For data types with more than 4 fields define @altsN@ as
+  --
+  -- >altsN rs = do
+  -- >  rs <- fixDepth rs
+  -- >  decDepthChecked
+  -- >    (constM $ constM $ ... $ constM rs)
+  -- >    (coseries $ coseries $ ... $ coseries rs)
+  -- >    {- constM and coseries are repeated N times each -}
 
   -- ** What does altsN do, exactly?
 
@@ -158,7 +175,10 @@
   getDepth,
   generate,
   list,
-  listM
+  listM,
+  fixDepth,
+  decDepthChecked,
+  constM
   -- }}}
   ) where
 
@@ -259,6 +279,7 @@
   d <- getDepth
   guard $ d > 0
 
+-- | @'constM' = 'liftM' 'const'@
 constM :: Monad m => m b -> m (a -> b)
 constM = liftM const
 
diff --git a/smallcheck.cabal b/smallcheck.cabal
--- a/smallcheck.cabal
+++ b/smallcheck.cabal
@@ -1,5 +1,5 @@
 Name:          smallcheck
-Version:       1.1.0.1
+Version:       1.1.1
 Cabal-Version: >= 1.6
 License:       BSD3
 License-File:  LICENSE