diff --git a/src/Network/Wai/Routing/Request.hs b/src/Network/Wai/Routing/Request.hs
--- a/src/Network/Wai/Routing/Request.hs
+++ b/src/Network/Wai/Routing/Request.hs
@@ -10,7 +10,8 @@
 -- only to 'Predicate' authors.
 module Network.Wai.Routing.Request
     ( Req
-    , GetRequest (..)
+    , GetRequest
+    , getRequest
     , fromWaiRequest
     , waiRequest
     , method
@@ -41,6 +42,10 @@
 -- By including this predicate, handlers have easy access to
 -- the complete request.
 data GetRequest a = GetRequest
+
+getRequest :: GetRequest a
+getRequest = GetRequest
+{-# INLINABLE getRequest #-}
 
 instance Predicate (GetRequest a) Req where
     type FVal (GetRequest a) = a
diff --git a/wai-routing.cabal b/wai-routing.cabal
--- a/wai-routing.cabal
+++ b/wai-routing.cabal
@@ -1,5 +1,5 @@
 name:                wai-routing
-version:             0.2
+version:             0.3
 synopsis:            Declarative routing for WAI.
 license:             OtherLicense
 license-file:        LICENSE