@@ -75,7 +75,7 @@ The `Proxy`s are useful because you can over over them in a sufficiently smart e
7575We can now run our routes, supplying a lambda that looks through all possible routes and decides what page should be displayed. You can pattern-match on the exact same structures we used earlier to create the routes:
7676
7777```haskell
78−bodyW :: MonadWidget t m => Model -> m ()
78+bodyW :: MonadWidget t m => m ()
7979bodyW = runRouteT' \case
8080 Nothing -> articlesW
8181 Just IndexR -> articlesW