Joseph Abrahamson

The other trick is that CORS data should be non-specific to Options headers but instead to _endpoints_ in the tree, which don't really have direct representation in Servant. Options just...

So perhaps _that's_ the way to go. ``` haskell Segment "user" :> Endpoint '[ Cors Wildcard (Method Get '[JSON] User) , Cors (WithCredentials 'True '[OriginSetA]) (Method Post '[JSON] User) ,...

Yeah, precisely. You could perhaps do a bottom up analysis to grab headers and methods that dumps all of it's information whenever it passes a url-changing element of the API...

Also, for interest I've been experimenting with these ideas at https://github.com/tel/serv. It has an Endpoint type like above (as well as more regular API types that are a bit easier...

I'd be potentially interested in talking about something or another. My timezone is America/New_York.