diff --git a/nested-routes.cabal b/nested-routes.cabal
--- a/nested-routes.cabal
+++ b/nested-routes.cabal
@@ -1,5 +1,5 @@
 Name:                   nested-routes
-Version:                2.0.1
+Version:                2.1.0
 Author:                 Athan Clark <athan.clark@gmail.com>
 Maintainer:             Athan Clark <athan.clark@gmail.com>
 License:                BSD3
diff --git a/src/Web/Routes/Nested.hs b/src/Web/Routes/Nested.hs
--- a/src/Web/Routes/Nested.hs
+++ b/src/Web/Routes/Nested.hs
@@ -25,6 +25,7 @@
   , HandlerT (..)
   , ActionT
   , handle
+  , parent
   , notFound
   , route
   ) where
@@ -96,22 +97,24 @@
   HandlerT $ tell (extrude ts $ Rooted mvl ctrie, mempty)
 handle _ Nothing Nothing = return ()
 
--- categorize :: ( Monad m
---           , Functor m
---           , cleanxs ~ OnlyJusts xs
---           , HasResult childType (ActionT z m ())
---           , ExpectArity cleanxs childType
---           , Singleton (UrlChunks xs)
---               childType
---               (RUPTrie T.Text result)
---           , Extrude (UrlChunks xs)
---               (RUPTrie T.Text childType)
---               (RUPTrie T.Text result)
---           , (ArityMinusTypeList childType cleanxs) ~ result
---           , childType ~ TypeListToArity cleanxs result
---           , LastIsNothing xs
---           ) =>
--- categorize
+parent :: ( Monad m
+          , Functor m
+          , cleanxs ~ OnlyJusts xs
+          , Singleton (UrlChunks xs)
+              childType
+              (RUPTrie T.Text result)
+          , Extrude (UrlChunks xs)
+              (RUPTrie T.Text childType)
+              (RUPTrie T.Text result)
+          , (ArityMinusTypeList childType cleanxs) ~ result
+          , childType ~ TypeListToArity cleanxs result
+          ) =>
+          UrlChunks xs -- ^ Path to match against
+       -> HandlerT z childType m () -- ^ Potential child routes
+       -> HandlerT z result m ()
+parent ts cs = do
+  ((Rooted _ ctrie),_) <- lift $ execWriterT $ runHandler cs
+  HandlerT $ tell (extrude ts $ Rooted Nothing ctrie, mempty)
 
 notFound :: ( Monad m
             , Functor m