diff --git a/laws/Cargo.toml b/laws/Cargo.toml
index cfaa73f9..895913ab 100644
--- a/laws/Cargo.toml
+++ b/laws/Cargo.toml
@@ -18,4 +18,4 @@ default-features = false
 version = "0.4.2"
 
 [dependencies]
-quickcheck = "0.6.1"
+quickcheck = "1.0.3"
diff --git a/laws/src/wrapper.rs b/laws/src/wrapper.rs
index cf284b95..9a52b2d0 100644
--- a/laws/src/wrapper.rs
+++ b/laws/src/wrapper.rs
@@ -14,31 +14,31 @@ use quickcheck::*;
 pub struct Wrapper<A>(A);
 
 impl<A: Arbitrary + Ord + Clone> Arbitrary for Wrapper<Max<A>> {
-    fn arbitrary<G: Gen>(g: &mut G) -> Self {
+    fn arbitrary(g: &mut Gen) -> Self {
         Wrapper(Max(Arbitrary::arbitrary(g)))
     }
 }
 
 impl<A: Arbitrary + Ord + Clone> Arbitrary for Wrapper<Min<A>> {
-    fn arbitrary<G: Gen>(g: &mut G) -> Self {
+    fn arbitrary(g: &mut Gen) -> Self {
         Wrapper(Min(Arbitrary::arbitrary(g)))
     }
 }
 
 impl<A: Arbitrary> Arbitrary for Wrapper<All<A>> {
-    fn arbitrary<G: Gen>(g: &mut G) -> Self {
+    fn arbitrary(g: &mut Gen) -> Self {
         Wrapper(All(Arbitrary::arbitrary(g)))
     }
 }
 
 impl<A: Arbitrary> Arbitrary for Wrapper<Any<A>> {
-    fn arbitrary<G: Gen>(g: &mut G) -> Self {
+    fn arbitrary(g: &mut Gen) -> Self {
         Wrapper(Any(Arbitrary::arbitrary(g)))
     }
 }
 
 impl<A: Arbitrary> Arbitrary for Wrapper<Product<A>> {
-    fn arbitrary<G: Gen>(g: &mut G) -> Self {
+    fn arbitrary(g: &mut Gen) -> Self {
         Wrapper(Product(Arbitrary::arbitrary(g)))
     }
 }