@@ -132,7 +132,7 @@ combinator. Using `Context`, we can supply a function of type
132handler. This will allow the handler to check authentication and return a `User`
132handler. This will allow the handler to check authentication and return a `User`
133to downstream handlers if successful.
133to downstream handlers if successful.
135−In practice we wrap `BasicAuthData -> Handler` into a slightly
135+In practice we wrap `BasicAuthData -> Handler User` into a slightly
136different function to better capture the semantics of basic authentication:
136different function to better capture the semantics of basic authentication:
138``` haskell ignore
138``` haskell ignore