servant with servant-auth and jwts disallows a route with '[WithStatus 302 Redirect]

[silky]

it looks like, because of how named-routes must be implemented, we get an overlapping instance warning if we have a custom route that also does a 302 redirect:

the error is:

    • Overlapping instances for Servant.Server.Internal.HasServer
                                  (Servant.Auth.Server.Internal.AddSetCookie.AddSetCookieApi
                                     (Servant.Auth.Server.Internal.AddSetCookie.AddSetCookieApi
                                        (UVerb 'GET '[HTML] '[WithStatus 302 Redirect])))
                                  '[Servant.Auth.Server.Internal.ConfigTypes.CookieSettings,
                                    Servant.Auth.Server.Internal.ConfigTypes.JWTSettings]
        arising from a use of ‘genericServeTWithContext’

my own code had a custom route like:

data PrivateRoutes mode = PrivateRoutes
  { thing :: mode :- "thing" :> UVerb 'GET '[HTML] '[WithStatus 302 Redirect] }

a hacky "fix" is just to remove this route; then it compiles

can prepare a full working repro a bit later, if it's useful

my app looks something like:

app :: Application
app = genericServeTWithContext id server ctx
  where
    key       = ...
    jwtConfig = defaultJWTSettings key
    ctx       = defaultCookieSettings :. jwtConfig :. EmptyContext