diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.1
+Version:             0.1.1
 Cabal-Version:       >= 1.2
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
diff --git a/src/Test/QuickCheck/Instances.hs b/src/Test/QuickCheck/Instances.hs
--- a/src/Test/QuickCheck/Instances.hs
+++ b/src/Test/QuickCheck/Instances.hs
@@ -3,6 +3,7 @@
        (module Test.QuickCheck.Instances.Char
        ,module Test.QuickCheck.Instances.Eq
        ,module Test.QuickCheck.Instances.List
+       ,module Test.QuickCheck.Instances.Maybe
        ,module Test.QuickCheck.Instances.Num
        ,module Test.QuickCheck.Instances.Ord
        ,module Test.QuickCheck.Instances.Tuple
@@ -13,7 +14,7 @@
 import Test.QuickCheck.Instances.Eq
 import Test.QuickCheck.Instances.Int   ()
 import Test.QuickCheck.Instances.List
-import Test.QuickCheck.Instances.Maybe ()
+import Test.QuickCheck.Instances.Maybe
 import Test.QuickCheck.Instances.Num
 import Test.QuickCheck.Instances.Ord
 import Test.QuickCheck.Instances.Tuple
diff --git a/src/Test/QuickCheck/Instances/List.hs b/src/Test/QuickCheck/Instances/List.hs
--- a/src/Test/QuickCheck/Instances/List.hs
+++ b/src/Test/QuickCheck/Instances/List.hs
@@ -1,6 +1,7 @@
 module Test.QuickCheck.Instances.List
        (anyList,nonEmpty
        ,infiniteList
+       ,setLength
        ,increasing,nondecreasing
        ,increasingInf,nondecreasingInf
        ,decreasing,nonincreasing
@@ -28,6 +29,12 @@
 -}
 infiniteList :: Gen a -> Gen [a]
 infiniteList x = liftA2 (:) x (infiniteList x)
+
+{- | Generates a list with a set length
+-}
+setLength :: Int -> Gen a -> Gen [a]
+setLength 0 _ = pure []
+setLength n g = (:) <$> g <*> setLength (n-1) g
 
 sumA :: (Applicative f, Num a) => f a -> f [a] -> f [a]
 sumA = liftA2 (scanl (+))
diff --git a/src/Test/QuickCheck/Instances/Maybe.hs b/src/Test/QuickCheck/Instances/Maybe.hs
--- a/src/Test/QuickCheck/Instances/Maybe.hs
+++ b/src/Test/QuickCheck/Instances/Maybe.hs
@@ -1,4 +1,4 @@
-module Test.QuickCheck.Instances.Maybe where
+module Test.QuickCheck.Instances.Maybe (maybeGen) where
 
 import Test.QuickCheck
 import Test.QuickCheck.Applicative ()