diff --git a/Web/Route/Invertible/Map/Route.hs b/Web/Route/Invertible/Map/Route.hs
--- a/Web/Route/Invertible/Map/Route.hs
+++ b/Web/Route/Invertible/Map/Route.hs
@@ -125,8 +125,10 @@
   empty = RouteMapExactly $ empty
   (<|>) = mappend
 
+{-
 instance MonadTrans RouteMapT where
   lift = exactlyMap
+-}
 
 type RouteState = RouteMapT DynamicState
 -- |The type of a route map element created from a single 'Route'.
diff --git a/Web/Route/Invertible/Wai.hs b/Web/Route/Invertible/Wai.hs
--- a/Web/Route/Invertible/Wai.hs
+++ b/Web/Route/Invertible/Wai.hs
@@ -37,7 +37,7 @@
 routeWaiError :: (Status -> ResponseHeaders -> Wai.Request -> a) -> RouteMap (Wai.Request -> a) -> Wai.Request -> a
 routeWaiError e m q = either (\(s, h) -> e s h q) (\a -> a q) $ routeWai q m
 
--- |Equivalent to 'routeWaiError'.
+-- |Specialization of 'routeWaiError'.
 routeWaiApplicationError :: (Status -> ResponseHeaders -> Wai.Application) -> RouteMap Wai.Application -> Wai.Application
 routeWaiApplicationError = routeWaiError
 
diff --git a/web-inv-route.cabal b/web-inv-route.cabal
--- a/web-inv-route.cabal
+++ b/web-inv-route.cabal
@@ -1,5 +1,5 @@
 name:                web-inv-route
-version:             0.1.3.2
+version:             0.1.3.3
 synopsis:            Composable, reversible, efficient web routing using invertible invariants and bijections
 description:
   Utilities to route HTTP requests, mainly focused on path components.  Routes are specified using bijections and invariant functors, allowing run-time composition (routes can be distributed across modules), reverse and forward routing derived from the same specification, and O(log n) lookups.