diff --git a/quickcheck-combinators.cabal b/quickcheck-combinators.cabal
--- a/quickcheck-combinators.cabal
+++ b/quickcheck-combinators.cabal
@@ -1,5 +1,5 @@
 Name:                   quickcheck-combinators
-Version:                0.0.1
+Version:                0.0.2
 Author:                 Athan Clark <athan.clark@gmail.com>
 Maintainer:             Athan Clark <athan.clark@gmail.com>
 License:                BSD3
diff --git a/src/Test/QuickCheck/Combinators.hs b/src/Test/QuickCheck/Combinators.hs
--- a/src/Test/QuickCheck/Combinators.hs
+++ b/src/Test/QuickCheck/Combinators.hs
@@ -38,7 +38,8 @@
   } deriving (Show, Read, Eq, Ord, Enum, Data, Typeable, Generic, Functor
              , Applicative, Monad, Foldable, Traversable, Monoid)
 
-instance ( UnfoldableR p t
+instance
+         ( UnfoldableR p t
          , Monoid (t a)
          , Arbitrary a
          , KnownNat n
@@ -50,7 +51,8 @@
     ts <- fromMaybe mempty . fromList <$> replicateM k arbitrary
     return . AtLeast $ ts
 
-instance ( Arbitrary a
+instance {-# OVERLAPPING #-}
+         ( Arbitrary a
          , Ord a
          , UnfoldableR p []
          , p a
@@ -80,7 +82,8 @@
     ts <- fromMaybe mempty . fromList <$> replicateM k arbitrary
     return . AtMost $ ts
 
-instance ( Arbitrary a
+instance {-# OVERLAPPING #-}
+         ( Arbitrary a
          , Ord a
          , UnfoldableR p []
          , p a
@@ -112,7 +115,8 @@
     ts <- fromMaybe mempty . fromList <$> replicateM k arbitrary
     return . Between $ ts
 
-instance ( Arbitrary a
+instance {-# OVERLAPPING #-}
+         ( Arbitrary a
          , Ord a
          , KnownNat n
          , UnfoldableR p []