From 0340f53cfb479b52ffd07a8b60af64b4aa85fdc0 Mon Sep 17 00:00:00 2001
From: Roman Cheplyaka <roma@ro-che.info>
Date: Sat, 4 Feb 2012 15:15:37 +0200
Subject: [PATCH] Clarification for Series type

---
 Test/SmallCheck/Series.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Test/SmallCheck/Series.hs b/Test/SmallCheck/Series.hs
index e773f89..2aec576 100644
--- a/Test/SmallCheck/Series.hs
+++ b/Test/SmallCheck/Series.hs
@@ -156,6 +156,8 @@ type Depth = Int
 -- | 'Series' is a function from the depth to a finite list of values.
 --
 -- If @s@ is a 'Series', @s n@ is expected to yield values of depth up to @n@.
+--
+-- (In particular, @series d@ is expected to be a subset of @series (d+1)@.)
 type Series a = Depth -> [a]
 
 -- | Sum (union) of series