diff --git a/examples/tree.hs b/examples/tree.hs
--- a/examples/tree.hs
+++ b/examples/tree.hs
@@ -1,7 +1,6 @@
 {-# LANGUAGE DeriveGeneric #-}
 
 import GHC.Generics
-import Control.Applicative
 import Data.Unfoldable
 import Data.Unfolder
 
@@ -12,11 +11,6 @@
 data Tree a = Empty | Node (Tree a) a (Tree a) deriving (Show, Generic1)
 
 instance Unfoldable Tree
-  -- where
-  --   unfold fa = choose
-  --     [ pure Empty
-  --     , Node <$> unfold fa <*> fa <*> unfold fa
-  --     ]
     
 tree7 :: Tree Int
 tree7 = fromJust $ fromList [0..6]
diff --git a/unfoldable.cabal b/unfoldable.cabal
--- a/unfoldable.cabal
+++ b/unfoldable.cabal
@@ -1,5 +1,5 @@
 Name:                 unfoldable
-Version:              0.7.1
+Version:              0.7.2
 Synopsis:             Class of data structures that can be unfolded.
 Description:          Just as there's a Foldable class, there should also be an Unfoldable class. 
                       .
@@ -38,7 +38,7 @@
       base         >= 4   && < 5 
     , transformers >= 0.3 && < 0.4
     , random       >= 1.0 && < 1.1
-    , QuickCheck   >= 2.4 && < 2.6
+    , QuickCheck   >= 2.4 && < 2.8
 
   if impl(ghc >= 7.6)
     cpp-options:   -DGENERICS