diff --git a/COPYING b/COPYING
new file mode 100644
--- /dev/null
+++ b/COPYING
@@ -0,0 +1,25 @@
+Copyright (c) 2009 Conal Elliott
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+3. The names of the authors may not be used to endorse or promote products
+   derived from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
+IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.2.6
+Version:             0.2.7
 Cabal-Version:       >= 1.2
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
@@ -20,13 +20,14 @@
 Package-Url:         http://code.haskell.org/checkers
 Copyright:           (c) 2008 by Conal Elliott
 License:             BSD3
+License-File:        COPYING
 Stability:           experimental
 build-type:          Simple
 
 Library
   hs-Source-Dirs:      src
   Extensions:
-  Build-Depends:       base < 4.3, random, QuickCheck>=2.1.0.2, array >= 0.1
+  Build-Depends:       base < 4.3, random, QuickCheck>=2.3, array >= 0.1
   Exposed-Modules:     
                        Test.QuickCheck.Utils
                        Test.QuickCheck.Checkers
@@ -36,13 +37,11 @@
                        Test.QuickCheck.Instances.Array
                        Test.QuickCheck.Instances.Char
                        Test.QuickCheck.Instances.Eq
-                       Test.QuickCheck.Instances.Int
                        Test.QuickCheck.Instances.List
                        Test.QuickCheck.Instances.Maybe
                        Test.QuickCheck.Instances.Num
                        Test.QuickCheck.Instances.Ord
                        Test.QuickCheck.Instances.Tuple
-                       Test.QuickCheck.Instances.Word
                        Test.QuickCheck.Later
   Other-modules:
                        Control.Monad.Extensions
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
@@ -12,10 +12,8 @@
 import Test.QuickCheck.Instances.Array ()
 import Test.QuickCheck.Instances.Char 
 import Test.QuickCheck.Instances.Eq
-import Test.QuickCheck.Instances.Int   ()
 import Test.QuickCheck.Instances.List
 import Test.QuickCheck.Instances.Maybe
 import Test.QuickCheck.Instances.Num
 import Test.QuickCheck.Instances.Ord
 import Test.QuickCheck.Instances.Tuple
-import Test.QuickCheck.Instances.Word  ()
diff --git a/src/Test/QuickCheck/Instances/Int.hs b/src/Test/QuickCheck/Instances/Int.hs
deleted file mode 100644
--- a/src/Test/QuickCheck/Instances/Int.hs
+++ /dev/null
@@ -1,29 +0,0 @@
-module Test.QuickCheck.Instances.Int where
-
-import Control.Applicative
-import Test.QuickCheck
-import Data.Int
-
-instance Arbitrary Int64 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Int64 where
-  coarbitrary = variant . (fromIntegral :: Int64 -> Int)
-
-instance Arbitrary Int32 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Int32 where
-  coarbitrary = variant . (fromIntegral :: Int32 -> Int)
-
-instance Arbitrary Int16 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Int16 where
-  coarbitrary = variant . (fromIntegral :: Int16 -> Int)
-
-instance Arbitrary Int8 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Int8 where
-  coarbitrary = variant . (fromIntegral :: Int8 -> Int)
diff --git a/src/Test/QuickCheck/Instances/Word.hs b/src/Test/QuickCheck/Instances/Word.hs
deleted file mode 100644
--- a/src/Test/QuickCheck/Instances/Word.hs
+++ /dev/null
@@ -1,36 +0,0 @@
-module Test.QuickCheck.Instances.Word where
-
-import Control.Applicative
-import Test.QuickCheck
-import Data.Word
-
-instance Arbitrary Word64 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Word64 where
-  coarbitrary = variant . (fromIntegral :: Word64 -> Int)
-
-instance Arbitrary Word32 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Word32 where
-  coarbitrary = variant . (fromIntegral :: Word32 -> Int)
-
-instance Arbitrary Word16 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Word16 where
-  coarbitrary = variant . (fromIntegral :: Word16 -> Int)
-
-instance Arbitrary Word8 where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Word8 where
-  coarbitrary = variant . (fromIntegral :: Word8 -> Int)
-
-
-instance Arbitrary Word where
-  arbitrary   = fromInteger <$> arbitrary
-
-instance CoArbitrary Word where
-  coarbitrary = variant . (fromIntegral :: Word -> Int)