diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+1.0.0
+    * Support for GHC-8.8 (see MR #1 thanks to @axeman).
+
 0.10.0
 
     * Update `singletons` dependency.
diff --git a/src/Data/Predicate/Result.hs b/src/Data/Predicate/Result.hs
--- a/src/Data/Predicate/Result.hs
+++ b/src/Data/Predicate/Result.hs
@@ -1,9 +1,13 @@
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE CPP #-}
 
 module Data.Predicate.Result where
 
 import Control.Applicative
 import Control.Monad
+#if !MIN_VERSION_base(4,13,0)
+import qualified Control.Monad.Fail as Fail
+#endif
 import Control.Monad.Trans.Class
 import Control.Monad.IO.Class
 import Prelude
@@ -52,7 +56,14 @@
     m >>= k = ResultT $ runResultT m >>= \a -> case a of
         Okay _ x -> runResultT (k x)
         Fail   x -> return (Fail x)
+
+#if !MIN_VERSION_base(4,13,0)
+instance Fail.MonadFail m => Fail.MonadFail (ResultT f m) where
+    fail = ResultT . Fail.fail
+#else
+instance MonadFail m => MonadFail (ResultT f m) where
     fail = ResultT . fail
+#endif
 
 instance MonadTrans (ResultT f) where
     lift = ResultT . liftM return
diff --git a/wai-predicates.cabal b/wai-predicates.cabal
--- a/wai-predicates.cabal
+++ b/wai-predicates.cabal
@@ -1,5 +1,5 @@
 name:                wai-predicates
-version:             0.10.0
+version:             1.0.0
 synopsis:            WAI request predicates
 license:             OtherLicense
 license-file:        LICENSE