@@ -69,6 +69,10 @@ instance (Monad m, MonadRoute r t m) => MonadRoute r t (ReaderT r' m)
6969
7070instance (Monad m, MonadRoute r t m) => MonadRoute r t (EventWriterT t w m)
7171
72+instance (Monad m, MonadReader r m) => MonadReader r (RouteT t u m) where
73+ ask = lift ask
74+ local f (RouteT m) = RouteT $ local f m
75+
7276instance Requester t m => Requester t (RouteT t r m) where
7377 type Request (RouteT t r m) = Request m
7478 type Response (RouteT t r m) = Response m