diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.1.3
+Version:             0.1.4
 Cabal-Version:       >= 1.2
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
@@ -26,7 +26,7 @@
 Library
   hs-Source-Dirs:      src
   Extensions:
-  Build-Depends:       base, random, QuickCheck < 2.0, array >= 0.1
+  Build-Depends:       base, random, QuickCheck, array >= 0.1
   Exposed-Modules:     
                        Test.QuickCheck.Checkers
                        Test.QuickCheck.Applicative
diff --git a/src/Test/QuickCheck/Checkers.hs b/src/Test/QuickCheck/Checkers.hs
--- a/src/Test/QuickCheck/Checkers.hs
+++ b/src/Test/QuickCheck/Checkers.hs
@@ -132,7 +132,7 @@
 -- | Token 'Num' type for tests
 type NumT  = Int
 -- | Token 'Ord' type for tests
-type OrdT  = Char
+type OrdT  = Int -- Char -- randomR is broken on Char
 -- | Token uninteresting type for tests
 type T     = Char
 
@@ -170,10 +170,11 @@
 --   instance EqProp a where (=-=) = eq
 -- E.g.,
 
-instance         EqProp Bool      where (=-=) = eq
-instance         EqProp Char      where (=-=) = eq
-instance         EqProp Int       where (=-=) = eq
-instance         EqProp Double    where (=-=) = eq
+instance EqProp Bool   where (=-=) = eq
+instance EqProp Char   where (=-=) = eq
+instance EqProp Int    where (=-=) = eq
+instance EqProp Float  where (=-=) = eq
+instance EqProp Double where (=-=) = eq
 
 -- Lists
 instance EqProp a => EqProp [a] where
diff --git a/src/Test/QuickCheck/Classes.hs b/src/Test/QuickCheck/Classes.hs
--- a/src/Test/QuickCheck/Classes.hs
+++ b/src/Test/QuickCheck/Classes.hs
@@ -90,7 +90,7 @@
   ) =>
   a -> TestBatch
 semanticOrd = const (first ("semantic " ++)
-                      (ordMorphism (model:: a -> b)))
+                      (ordMorphism (model :: a -> b)))
 
 
 -- | Properties to check that the 'Monoid' 'a' satisfies the monoid