Matthias Fischmann

Now I also get this: ``` Servant/API/UVerb/Union.hs:154:24: warning: [-Wdeferred-type-errors] • Overlapping instances for UElem (User tag0) '[User tag, ()] arising from a use of ‘respond’ Matching instances: instance [overlapping] forall...

Cool, thanks for solving this! We should add this to the cookbook before closing the issue. I'll assign it to myself!

> Do you support servant-auth package? `UVerb` implementation lacks its support. :( not sure, but i doubt it. it's been written for https://github.com/wireapp/wire-server, and we use our own auth code....

argh. just noticed this isn't working quite yet. anyway, interested in hearing how you like the idea! (-:

[somewhat fixed it] [updated description above] open problem: api types `"only_end_point" :> Get '[JSON] Int` has the default type (because it doesn't hit the `:` instance), and `AuthCombinator :> (route1...

I don't need this right now, but I do not want it to go to waste. I'll try to get it rebased by the end of the week.

In my mind, catching impure exceptions cannot happen in servant without potentially serious performance degradation. Also, it is against the idea that the types represent the behavior of the rest...

to re-iterate: we're not talking about having the servant types represent exceptions, but about *impure* exceptions (ie. `undefined` or `error "bla"`, ie. errors that are outside the control of the...

related: https://github.com/haskell-servant/servant/issues/1022, https://github.com/haskell-servant/servant/issues/309, https://github.com/haskell-servant/servant/pull/954, maybe others?

Thanks for the PR / sorry for the low bandwidth! I do not speak for all maintainers, but I think our priorities are https://github.com/haskell-servant/servant/pull/1312, then https://github.com/haskell-servant/servant/pull/1314, then release, then see...