Closed tchoutri closed 1 year ago
@mgajda Your input is also valued. :)
I don't think this is right, because if you have this instance then it's impossible to change the types on either side of a :<|>
, which doesn't seem like what you want?
@endgame great, thank you!
Depends on https://github.com/haskell-servant/servant/pull/1652
Please review this carefully.
cc @hasufell @alpmestan @gdeest