diff --git a/src/Test/QuickCheck/Function.hs b/src/Test/QuickCheck/Function.hs
index b4bf9e6e..f2c530cd 100644
--- a/src/Test/QuickCheck/Function.hs
+++ b/src/Test/QuickCheck/Function.hs
@@ -178,7 +178,7 @@ functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a->b) -> (a:->b)
 functionBoundedEnum = functionElements [minBound..maxBound]
 
 -- | Provides a 'Function' instance for small finite types.
-functionElements :: (Eq a, Bounded a, Enum a) => [a] ->  (a->b) -> (a:->b)
+functionElements :: Eq a => [a] ->  (a->b) -> (a:->b)
 functionElements xs f = Table [(x,f x) | x <- xs]
 
 -- | Provides a 'Function' instance for types with 'RealFrac'.