diff --git a/CHANGELOG.yaml b/CHANGELOG.yaml
--- a/CHANGELOG.yaml
+++ b/CHANGELOG.yaml
@@ -1,4 +1,9 @@
 releases:
+  - version: "0.0.8.0"
+    changes:
+      - description: Support for servant-0.17
+        authors: phadej
+        date: 2019-01-23
 
   - version: "0.0.7.3"
     changes:
diff --git a/servant-quickcheck.cabal b/servant-quickcheck.cabal
--- a/servant-quickcheck.cabal
+++ b/servant-quickcheck.cabal
@@ -1,5 +1,5 @@
 name:               servant-quickcheck
-version:            0.0.7.4
+version:            0.0.8.0
 synopsis:           QuickCheck entire APIs
 description:
   This packages provides QuickCheck properties that are tested across an entire
@@ -13,7 +13,7 @@
 build-type:         Simple
 cabal-version:      >=1.10
 extra-source-files: CHANGELOG.yaml
-tested-with:        GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.4
+tested-with:        GHC ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || == 8.8.1
 
 source-repository head
   type:     git
@@ -35,11 +35,11 @@
 
   build-depends:
       aeson                  >=0.8    && <2
-    , base                   >=4.9    && <4.13
-    , base-compat-batteries  >=0.10.1 && <0.11
+    , base                   >=4.9    && <4.14
+    , base-compat-batteries  >=0.10.1 && <0.12
     , bytestring             >=0.10   && <0.11
     , case-insensitive       >=1.2    && <1.3
-    , clock                  >=0.7    && <0.8
+    , clock                  >=0.7    && <0.9
     , data-default-class     >=0.0    && <0.2
     , hspec                  >=2.5.6  && <2.8
     , http-client            >=0.4.30 && <0.7
@@ -49,18 +49,18 @@
     , pretty                 >=1.1    && <1.2
     , process                >=1.2    && <1.7
     , QuickCheck             >=2.7    && <2.14
-    , servant                >=0.16   && <0.17
-    , servant-client         >=0.16   && <0.17
-    , servant-server         >=0.16   && <0.17
+    , servant                >=0.17   && <0.18
+    , servant-client         >=0.17   && <0.18
+    , servant-server         >=0.17   && <0.18
     , split                  >=0.2    && <0.3
     , string-conversions     >=0.3    && <0.5
     , temporary              >=1.2    && <1.4
     , text                   >=1      && <2
-    , time                   >=1.5    && <1.9
-    , warp                   >=3.2.4  && <3.3
+    , time                   >=1.5    && <1.10
+    , warp                   >=3.2.4  && <3.4
 
   if !impl(ghc >=8.0)
-    build-depends: semigroups >=0.18.3 && <0.19
+    build-depends: semigroups >=0.18.3 && <0.20
 
   hs-source-dirs:     src
   default-extensions:
diff --git a/src/Servant/QuickCheck/Internal/HasGenRequest.hs b/src/Servant/QuickCheck/Internal/HasGenRequest.hs
--- a/src/Servant/QuickCheck/Internal/HasGenRequest.hs
+++ b/src/Servant/QuickCheck/Internal/HasGenRequest.hs
@@ -63,18 +63,14 @@
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = cs $ symbolVal (Proxy :: Proxy path)
 
-#if MIN_VERSION_servant(0,11,0)
 instance HasGenRequest EmptyAPI where
   genRequest _ = (0, error "EmptyAPIs cannot be queried.")
-#endif
 
-#if MIN_VERSION_servant(0,12,0)
 instance HasGenRequest api => HasGenRequest (Summary d :> api) where
   genRequest _ = genRequest (Proxy :: Proxy api)
 
 instance HasGenRequest api => HasGenRequest (Description d :> api) where
   genRequest _ = genRequest (Proxy :: Proxy api)
-#endif
 
 instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
     => HasGenRequest (Capture' mods x c :> b) where
@@ -86,7 +82,6 @@
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = arbitrary :: Gen c
 
-#if MIN_VERSION_servant(0,8,0)
 instance (Arbitrary c, HasGenRequest b, ToHttpApiData c )
     => HasGenRequest (CaptureAll x c :> b) where
     genRequest _ = (oldf, do
@@ -97,7 +92,6 @@
       where
         (oldf, old) = genRequest (Proxy :: Proxy b)
         new = arbitrary :: Gen [c]
-#endif
 
 instance (Arbitrary c, KnownSymbol h, HasGenRequest b, ToHttpApiData c)
     => HasGenRequest (Header' mods h c :> b) where
@@ -167,6 +161,15 @@
 
 instance (ReflectMethod method)
     => HasGenRequest (Verb (method :: k) (status :: Nat) (cts :: [*]) a) where
+    genRequest _ = (1, return $ \burl -> defaultRequest
+       { host = cs $ baseUrlHost burl
+       , port = baseUrlPort burl
+       , secure = baseUrlScheme burl == Https
+       , method = reflectMethod (Proxy :: Proxy method)
+       })
+
+instance (ReflectMethod method)
+    => HasGenRequest (NoContentVerb (method :: k)) where
     genRequest _ = (1, return $ \burl -> defaultRequest
        { host = cs $ baseUrlHost burl
        , port = baseUrlPort burl